文件名称：model checking software
文件大小：5.35MB
文件格式：RAR
更新时间：2011-03-12 10:33:40
checking model
model checking software
【文件预览】：
3540213147.pdf
model checking software
【文件属性】：
【文件预览】：
3540213147.pdf
【文件预览】：
3540213147.pdf
网友评论
- 这本书2001年5月在加拿大多伦多举行的第八届国际spin研讨会的会议论文记录，该书包括了23篇会议论文，除了讨论程序分析和形式检验的基础问题外，还重点关注了modelchecking工具和在各个领域的应用。