• 大小: 7.08MB
    文件类型: .rar
    金币: 1
    下载: 0 次
    发布日期: 2023-11-08
  • 语言: 其他
  • 标签: 模型检测  spin  

资源简介

好用的模型检测工具spin,功能很强大。

资源截图

代码片段和文件信息

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件    1162752  2011-12-23 10:30  模型检测工具Spin\Spin工具ppt\Spin工具.ppt

     文件      86555  2011-11-24 09:13  模型检测工具Spin\Spin工具安装包\byacc.tar.Z

     文件     185344  2011-12-31 10:42  模型检测工具Spin\Spin工具安装包\cygwinspinxspin安装全过程.doc

     文件     413406  2011-11-24 09:13  模型检测工具Spin\Spin工具安装包\spin525.tar.gz

     文件     194845  2011-11-24 09:13  模型检测工具Spin\Spin工具安装包\xspin

     文件    3479040  2011-12-31 12:53  模型检测工具Spin\Spin案例说明\spin举例说明.doc

     文件    1087196  2011-12-06 22:07  模型检测工具Spin\Spin相关资料\Concepts_Algorithms_and_Tools_for_Model_Checking.pdf

     文件    1399847  2010-11-30 11:23  模型检测工具Spin\Spin相关资料\The+Spin+Model+Checker+-+Primer+and+Reference+Manual+-+Addison+Wesley.chm

     目录          0  2011-12-31 12:55  模型检测工具Spin\Spin工具ppt

     目录          0  2011-12-31 12:55  模型检测工具Spin\Spin工具安装包

     目录          0  2011-12-31 12:55  模型检测工具Spin\Spin案例说明

     目录          0  2011-12-31 12:55  模型检测工具Spin\Spin相关资料

     目录          0  2011-12-31 12:55  模型检测工具Spin

----------- ---------  ---------- -----  ----

              8008985                    13


评论

共有 条评论