| 时态逻辑形式化描述并发系统性质 |
| 其他题名 | formal description of properties of concurrency system by temporal logic
|
| 肖美华; 薛锦云
|
| 2004
|
| 发表期刊 | 海军工程大学学报
 |
| ISSN | 1009-3486
|
| 卷号 | 16期号:5页码:2'10-13 |
| 摘要 | 时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL*及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. |
| 收录类别 | wanfang
|
| 关键词 | 形式化方法
并发系统
时态逻辑
模型检测
时态逻辑
形式化描述
系统性质
并发系统
状态迁移序列
形式化方法
逻辑描述
反应式
运用
语义
语法
应用
验证
模型
检测
基础
|
| 部门归属 | 江西师范大学,计算机信息工程学院,江西,南昌,330027;南昌大学,计算中心,江西,南昌,330029;中国科学院软件研究所,计算机科学重点实验室,北京,100080;江西师范大学,计算机信息工程学院,江西,南昌,330027;中国科学院软件研究所,计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12828
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
肖美华,薛锦云. 时态逻辑形式化描述并发系统性质[J]. 海军工程大学学报,2004,16(5):2'10-13.
|
| APA |
肖美华,&薛锦云.(2004).时态逻辑形式化描述并发系统性质.海军工程大学学报,16(5),2'10-13.
|
| MLA |
肖美华,et al."时态逻辑形式化描述并发系统性质".海军工程大学学报 16.5(2004):2'10-13.
|
修改评论