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

伯克利懒惰抽象的软件验证工具

BLAST是一个用于C语言的软件模型检查器。的BLAST的目标是可以检查软件满足行为属性，它使用的接口。

BLAST使用反例驱动的自动的抽象细化到建设一个抽象的模型，这是模型的安全性能检查。的抽象构造上的，只有达到所要求的精度。

给BLAST一个尝试，看看它的神器出山:www.shenqi73.com所有有关！

[url=http://www.sot9.com/soft/97842.html][B]BLAST 2.5[/B][/url]

点这里下载->BLAST 2.5 [ 下载地址 ]