基于K-模拟的抽象

摘要：

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

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

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金70271069

在线出版日期：2007-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：242-244