model checking software
modelcheckingsoftware
下载地址
用户评论
这本书2001年5月在加拿大多伦多举行的第八届国际spin研讨会的会议论文记录，该书包括了23篇会议论文，除了讨论程序分析和形式检验的基础问题外，还重点关注了modelchecking工具和在各个领域的应用。