基于K-模拟的抽象

计算机科学 ›› 2007, Vol. 34 ›› Issue (9): 242-244.

• 软件工程与数据库技术 • 上一篇下一篇

基于K-模拟的抽象

袁志斌徐正权王能超

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

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文工作得到国家自然科学基金（70271069）的支持.

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

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 尽管近年来模型检测取得了很大的进步，但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中，抽象技术是最有效的方法之一。本文给出了基于K-模拟的抽象的高效算法，并证明了在线性时序逻辑框架下抽象的可靠性和完备性。

关键词: 抽象线性时序逻辑 K-模拟

Abstract: In spite of the impressive progress in the development of model checking, it is still limited in their ability to handle large systems. It is generally recognized that abstraction techniques are one of the most general state reduction techniques. A novel

Key words: Abstraction , I.TL , K-simulation

袁志斌徐正权王能超. 基于K-模拟的抽象[J]. 计算机科学, 2007, 34(9): 242-244. https://doi.org/

YUAN Zhi-Bin,XU Zheng-Quan, WANG Neng-Chao （Department of Computer Science and Technology, Huazhong University of Science Technology,Wuhan 430074）. [J]. Computer Science, 2007, 34(9): 242-244. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于K-模拟的抽象

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0