基于时间自动机的模型验证软件

时间:2013-05-08 15:08:06
【文件属性】:

文件名称:基于时间自动机的模型验证软件

文件大小:5.28MB

文件格式:ZIP

更新时间:2013-05-08 15:08:06

uppaal

Uppaal是一个集成化的对实时系统建模、确认和验证的工具,它采用一组带有整型变量的时间自动机对实时系统的行为进行模拟和验证,采用的模型检查机制可以避免状态空间的爆炸,已被广泛的应用于算法分析和协议验证方面。 Uppaal使用的是客户端-服务器的系统结构,分为图形界面和模型检测引擎。


【文件预览】:
uppaal-4.0.8
----bin-Win32()
--------server.exe(2.39MB)
--------verifyta.exe(2.38MB)
----uppaal(893B)
----bin-Linux()
--------server(2.52MB)
--------verifyta(2.52MB)
----man()
--------man1()
----demo()
--------train-gate.xml(4KB)
--------fischer.q(419B)
--------interrupt.xml(4KB)
--------2doors.q(2KB)
--------fischer.xml(2KB)
--------interrupt.q(183B)
--------2doors.xml(4KB)
--------fischer_symmetry.xml(2KB)
--------train-gate.q(1KB)
--------bridge.q(522B)
--------fischer_symmetry.q(189B)
--------bridge.xml(3KB)
----lib()
--------jdom.jar(145KB)
--------model.jar(154KB)
--------swixml.jar(43KB)
--------editor.jar(66KB)
--------jh.jar(519KB)
--------jlfgr-1_0.jar(112KB)
----readme.txt(5KB)
----uppaal.jar(609KB)

网友评论

  • 本来以为是教程之类的,原来是安装文件,版本4.0.8,现在已经有新版本了
  • 压缩包有错,不可用啊!!