模型检测工具spin

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

              8008985                    13