| 时态逻辑描述能力比较研究 |
| |
| 引用本文： | 黎升洪,缪淮扣.时态逻辑描述能力比较研究[J].计算机工程与应用,2006,42(22):75-77. |
| |
| 作者姓名： | 黎升洪 缪淮扣 |
| |
| 作者单位： | 1. 上海大学计算机工程与科学学院,上海,200072;江西财经大学信息管理学院,南昌,330013
2. 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金;江西省教育厅科研项目 |
| |
| 摘 要： | 时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较。
|
| 关 键 词： | 时态逻辑 模型检查 CTL* LTL |
| 文章编号： | 1002-8331-（2006）22-0075-03 |
| 收稿时间： | 2005-12 |
| 修稿时间： | 2005-12 |
The Comparisons of Expressive Power of Temporal Logics |
| |
| Li Shenghong,Miao Huaikou.The Comparisons of Expressive Power of Temporal Logics[J].Computer Engineering and Applications,2006,42(22):75-77. |
| |
| Authors: | Li Shenghong Miao Huaikou |
| |
| Abstract: | Temporal logics are widely used in software verification and model checking.Understanding temporal logics expressive powers is very helpful for writing corrective temporal formula that are based on systems properties,The variance of temporal logics are depicted in syntax,semantic domain and the mapping between syntax and semantic domain and their expressive powers are compared. |
| |
| Keywords: | CTL* LTL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
