模型检测中的偏序约简

摘要：

检查并发系统的性质变得日益困难.随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解.偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存.文中介绍了偏序约简技术的主要概念和基本算法,介绍了其在LTL中的应用,提出了改进方法.

关键词：并发系统、模型检测、偏序简化、LTL、算法

所属期刊栏目：5

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

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

页数：共2页

页码：7545-7546