| 题名: | 时态逻辑形式化描述并发系统性质 |
| 其他题名: | formal description of properties of concurrency system by temporal logic
|
| 作者: | 肖美华
; 薛锦云
|
| 关键词: | 形式化方法
; 并发系统
; 时态逻辑
; 模型检测
; 时态逻辑
; 形式化描述
; 系统性质
; 并发系统
; 状态迁移序列
; 形式化方法
; 逻辑描述
; 反应式
; 运用
; 语义
; 语法
; 应用
; 验证
; 模型
; 检测
; 基础
|
| 刊名: | 海军工程大学学报
|
| 发表日期: | 2004
|
| 卷: | 16, 期:5, 页:2'10-13 | | 收录类别: | wanfang
|
| 部门归属: | 江西师范大学,计算机信息工程学院,江西,南昌,330027;南昌大学,计算中心,江西,南昌,330029;中国科学院软件研究所,计算机科学重点实验室,北京,100080;江西师范大学,计算机信息工程学院,江西,南昌,330027;中国科学院软件研究所,计算机科学重点实验室,北京,100080
|
| 摘要: | 时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL*及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/12828
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 时态逻辑形式化描述并发系统性质.pdf（276KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
肖美华,薛锦云. 时态逻辑形式化描述并发系统性质[J]. 海军工程大学学报,2004-01-01,16(5):2'10-13.
|
|
|
