最近更新┆推荐软件┆热门软件 兵器玩家┆设为首页┆加入收藏┆登录┆注册
　　　　　　　　　　　　　






您当前位置：兵器玩家 → 软件下载 → 编程软件 → 兔2.1_Rabbit 2.1下载

兔2.1_Rabbit 2.1

论坛转帖 　　　 用户评论

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 编程软件
授权方式：共享版
软件大小：2.05 MB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　
更新时间：2013-03-09 12:27:00
下载统计：

  • 好的评价　如果您觉得好，就请您
      100%(25)
  • 差的评价　如果您觉得差，就请您
      0%(0)

兔2.1_Rabbit 2.1下载地址

兔2.1_Rabbit 2.1下载

兔2.1_Rabbit 2.1软件简介

最新发布的相关软件：


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

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

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

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


最新发布的相关软件：

上一个软件：BLAST 2.5

下一个软件：LispIDE 20100202.21

兔2.1_Rabbit 2.1下载地址

兔2.1_Rabbit 2.1下载
广告赞助

随便看看

网友评论

共有 0 位网友发表了评论，得分 0 分，平均 0 分    查看完整评论

栏目导航
相关软件下载