兔2.1_Rabbit 2.1下载地址

点这里下载 → 下载地址
相关Tags:

兔2.1_Rabbit 2.1软件简介

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

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

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

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

上一个软件:BLAST 2.5

下一个软件:LispIDE 20100202.21

随便看看

软件简略信息
  • 软件大小:2.05 MB
  • 下载次数:99
  • 更新时间:2013-03-09 12:27:00
  • 不能下载请报告错误,谢谢
本类热门软件
闂備浇顕ф鍝ョ不瀹ュ鍨傞柛婵嗗閼板潡鏌涢妷鎴濊嫰閺呯娀姊洪棃娑辨Ф闁稿﹥顨堢划娆愮節閸ャ劎鍘搁梺鍛婂姂閸斿酣宕洪敐鍡曠箚妞ゆ劦鍓氱€氾拷
闂傚倷绀侀幉锛勭矙韫囨稑绀夐悗锝庡墰閸楁岸鏌熺紒銏犳灍闁搞倕锕弻娑㈠箛椤掆偓缁狙囨煕閿濆骸鐏﹂柡宀嬬節瀹曟﹢骞愭惔鈽嗕紦
8:00 - 24:00
闂備浇顕ф鍝ョ不瀹ュ鍨傞柛婵嗗閼板潡鏌涢妷顔煎闁绘劕锕弻鏇$疀鐎n亖鍋撻弽顒夋澓
闂傚倷绀侀幉锟犲吹鎼淬劌绀夐煫鍥ㄤ緱閺佸鏌ㄩ悤鍌涘
闂傚倷鑳堕幊鎾绘倶閸儱纾婚柟鍓х帛閻撴盯鏌涢顐簻闁诲骏绻濋弻鈩冪瑹閸パ勭彎濡ょ姷鍋為崝娆撳极閹剧粯鏅搁柨鐕傛嫹