软件模型检测中的抽象

计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 276-279.

• 计算机网络与信息安全 • 上一篇下一篇

软件模型检测中的抽象

袁志斌徐正权王能超

华中科技大学计算机科学与技术学院,武汉430074

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金（70271069）支持.

YUAN Zhi-Bin, XU Zheng-Quan ,WANG Neng-Chao （Department of Computer Science and Technology, Huazhong University of Science Teehnology,Wuhan 430074）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。

关键词: 软件模型检测抽象技术状态爆炸

Abstract: Software model checking is of significant importance to guarantee the correctness and reliability of software systems. Abstraction is one of the most important technique for reducing the state explosion problem in model checking. In this paper,we provide

Key words: Software model checking,Abstraction technique, State explosion

袁志斌徐正权王能超. 软件模型检测中的抽象[J]. 计算机科学, 2006, 33(7): 276-279. https://doi.org/

YUAN Zhi-Bin, XU Zheng-Quan ,WANG Neng-Chao （Department of Computer Science and Technology, Huazhong University of Science Teehnology,Wuhan 430074）. [J]. Computer Science, 2006, 33(7): 276-279. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

软件模型检测中的抽象

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0