模型检测

收藏
  • 【作者】(美)Edmund M. Clarke, Jr.,(美)Orna Grumberg,(美)Doron A. Peled著;吴尽昭,何安平,高新岩译
  • 【关键词】自动检测系统
  • 【出版社】电子工业出版社
  • 【出版日期】2018
  • 【ISBN】978-7-121-35274-4
  • 【中图分类号】 TP274
  • 【内容简介】本书共分18章,涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限簇、实时系统验证等。全部展开
  • 【页码】11,225页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 温州市图书馆 绍兴图书馆 绍兴市越城区图书馆 吴兴区图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。