| 可能LTL模型检测的两种方法 |
| |
| 引用本文： | 李永明. 可能LTL模型检测的两种方法[J]. 陕西师范大学学报(自然科学版), 2014, 0(6): 21-25 |
| |
| 作者姓名： | 李永明 |
| |
| 作者单位： | 陕西师范大学 计算机科学学院,陕西 西安,710119 |
| |
| 基金项目： | 国家自然科学基金资助项目(11271237，61228305)；教育部高等学校博士点基金资助项目 |
| |
| 摘 要： | 引入了基于广义可能性测度LTL模型检测的基于路径和基于语言的两种语义,证明了其等价性.基于可能LTL公式语言等价的方法,给出基于广义可能性测度的LTL模型检测的算法和复杂性分析.
|
| 关 键 词： | 模型检测 可能性理论 线性时序逻辑 语义 算法 |
Two methods for possibilistic linear temporal logic model checking |
| |
| LI Yongming. Two methods for possibilistic linear temporal logic model checking[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2014, 0(6): 21-25 |
| |
| Authors: | LI Yongming |
| |
| Affiliation: | LI Yongming;School of Computer Science,Shaanxi Normal University; |
| |
| Abstract: | |
| |
| Keywords: | model checking possibility theory linear temporal logic semantics algorithm |
| 本文献已被 CNKI 等数据库收录！ |
