模型检测中的偏序简化  

Partial Order Simplification in Model Checking

作　　者：朱新峰 李斌[1] 吴俊 

机构地区：[1]扬州大学,江苏扬州225009

出　　处：《扬州职业大学学报》2009年第4期23-25,共3页Journal of Yangzhou Polytechnic College

摘　　要：随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本算法,介绍了其在LTL中的应用,提出了改进方法。With the development of improved verification methods, some critical systems that require careful attention have become highly concurrent and intricate. Partial order simplification technique is proposed for reducing the time and memory required to automatically verify concurrent asynchronous systems. Some main concepts and algorithms of partial order simplification technique are introduced in this paper and its application to LTL as well. Meanwhile, suggestions for improvement are presented here.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]