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

指针的断言逻辑引擎

指针声明的逻辑是断言堆结构的命令式语言来表达的符号。它允许程序员指定前和后的程序，条件，循环不变量，和其他断言，弱的一元二阶逻辑的图形类型 - 逻辑，它允许许多常见的数据结构来表达。该逻辑是可判定的神器出山:www.shenqi73.com，这意味着，可以自动进行验证断言。主要的目标应用是安全的关键数据类型的算法。

PALE - “指针”的断言逻辑引擎 - 是一个完整的实施该技术的基础上的 MONA 工具。分析注释的程序，并报告空指针引用，内存泄漏和侵犯的断言和图形类型的错误。

得到浅一试，以便充分评估其能力！

[url=http://www.sot9.com/soft/98675.html][B]PALE 1.0-9[/B][/url]

点这里下载->PALE 1.0-9 [ 下载地址 ]