浅析模型检测技术
单来成
吴明花
1.山东力创有限公司 莱芜 2711002.山东力创有限公司 莱芜 271100
摘要：模型检测是一种能够自动验证有限状态并发系统技术.通过显式状态搜索来验证有限状态并发系统的模态与命题性质,当前已被广泛应用于计算机软硬件系统安全性能的检测.本文浅析了模型检测技术,分析了模型检测技术的发展概况、基本原理、算法、模型检测工具等,并介绍了模型检测领域的最新进展.
关键词：形式化方法模型检测时序逻辑安全检测
论文发表日期：2014-01-01
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：5( 125-129 )
英文信息