计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 12-15.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一，出现了一批针对C，C＋＋或Java语言的程序模型检查器原型。总结了程序模型检查中的主要问题及相关技术，以是否使用中间建模语言为标准，对现有程序模型检查器进行了分类，并具体地介绍了一些代表性工具中的模型获取及化简技术，最后展望了程序模型检查器未来的研究方向。
关键词: 模型检查 程序模型检查 模型抽取
Abstract: Model checking real programs coded with modern programming languages get more and more attention. Several program model checkers for C, C＋＋ or Java programming languages were developed. Model checking programs related main problems and basic methods were
Key words: Model checking,Program model checking,Model extraction
. 程序模型检查器综述[J]. 计算机科学, 2009, 36(4): 12-15. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I4/12
Cited
首页