软件名称：[B]CPAchecker 1.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：17.4 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

工具，可配置的软件验证

CPAchecker是一个命令行界面的应用程序，允许你检查源代码文件，认证文件或执行一个谓词分析。

给它一个尝试，看看它可以为你做什么！

要求：

·的神器出山:www.shenqi73.comJava

[url=http://www.sot9.com/soft/100663.html][B]CPAchecker 1.1[/B][/url]

点这里下载->CPAchecker 1.1 [ 下载地址 ]