首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > verification

verification

资 源 简 介

Software Verification is one of the major projects of the Faculty of computer Science and Engineering. The project is on verifying the correctness of the software based on logic, not execute it or use testing. The project is for education and training, offer the tool to help student learn programming.

文 件 列 表

apache-tomcat-6.0.37
bin
digest.sh
conf
lib
logs
temp
webapps
work
LICENSE
NOTICE
RELEASE-NOTES
RUNNING.txt
bin
catalina.sh

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP