模型检测工具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