|
|||||
|
|
| 模型检测中的偏序简化 | |
| 引用本文： | 朱新峰,李斌,吴俊.模型检测中的偏序简化[J].扬州职业大学学报,2009,13(4):23-25. |
| 作者姓名： | 朱新峰 李斌 吴俊 |
| 作者单位： | 扬州大学,江苏,扬州,225009 |
| 摘 要： | 随着验证方法的发展，一些复杂系统并发性越来越高，越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本算法，介绍了其在LTL中的应用，提出了改进方法。 |
| 关 键 词： | 并发系统 模型检测 偏序简化 |
Partial Order Simplification in Model Checking |
|
| ZHU Xin-feng,LI Bin,WU Jun.Partial Order Simplification in Model Checking[J].Journal of Yangzhou Polytechnic College,2009,13(4):23-25. | |
| Authors: | ZHU Xin-feng LI Bin WU Jun |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |