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

有效的可达性分析和细化检查科特布斯时间自动机

兔子是一个实时系统模型检查工具。建模语言定时自动扩展的模块化建模的概念。该工具提供了可达性分析和改进的检查，使用的数据结构BDD。

为BDD的神器出山:www.shenqi73.com计算好的变量排序的模块化结构的模型和估计的BDD的大小。这将导致工具RED和基于BDD-Kronos的版本相比，一个显着的性能改善。

以兔子的自旋来看看它的真本事了！

[url=http://www.sot9.com/soft/97843.html][B]兔2.1_Rabbit 2.1[/B][/url]

点这里下载->兔2.1_Rabbit 2.1 [ 下载地址 ]