| 基于吴方法的多值模型检验 |
| |
| 引用本文： | 赵林,吴尽昭. 基于吴方法的多值模型检验[J]. 系统科学与数学, 2008, 28(8): 1020-1029 |
| |
| 作者姓名： | 赵林 吴尽昭 |
| |
| 作者单位： | 1. 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044;中国科学院成都计算机应用研究所,成都,610041
2. 中国科学院成都计算机应用研究所,成都,610041 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划),国家重点基础研究发展计划(973计划),国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.
|
| 关 键 词： | 多值模型检验 拟布尔逻辑 多项式 吴方法 |
| 收稿时间： | 2007-12-30 |
Application of Wu's Method to Multi-Valued Model Checking |
| |
| ZHAO Lin,WU Jinzhao. Application of Wu's Method to Multi-Valued Model Checking[J]. Journal of Systems Science and Mathematical Sciences, 2008, 28(8): 1020-1029 |
| |
| Authors: | ZHAO Lin WU Jinzhao |
| |
| Affiliation: | (1)Chengdu Institute of Computer Applications, CAS, Chengdu 610041; BeijingJiaotong University State Key Laboratory of Rail Traffic Control and Safety, Beijing 100044; (2)Chengdu Institute of Computer Applications, CAS, Chengdu 610041. |
| |
| Abstract: | The development of most large and complex systems is necessarily involved with the treatment of uncertainty and inconsistency. Multi-valued model checking is very useful for analyzing models that contain such information. Based on the algebraic representation of multi-valued logics, we present a framework to apply Wu's method to multi-valued model checking. This algebraic approach to multi-valued model checking can be used as a powerful supplement to the existing methods. |
| |
| Keywords: | Multi-valued model checking quasi-boolean logics polynomials Wu's method. |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
|
点击此处可从《系统科学与数学》下载全文 |
|
