model checking 时间:2013-09-21 07:40:05 【文件属性】: 文件名称:model checking 文件大小:1.88MB 文件格式:DJVU 更新时间:2013-09-21 07:40:05 model checking the MIT press 介绍模型检测的相关概念,同时还以smv和spin为例说明。 立即下载