Title: | 时态逻辑形式化描述并发系统性质 |
Alternative Title: | formal description of properties of concurrency system by temporal logic
|
Author: | 肖美华
; 薛锦云
|
Keyword: | 形式化方法
; 并发系统
; 时态逻辑
; 模型检测
; 时态逻辑
; 形式化描述
; 系统性质
; 并发系统
; 状态迁移序列
; 形式化方法
; 逻辑描述
; 反应式
; 运用
; 语义
; 语法
; 应用
; 验证
; 模型
; 检测
; 基础
|
Source: | 海军工程大学学报
|
Issued Date: | 2004
|
Volume: | 16, Issue:5, Pages:2'10-13 | Indexed Type: | wanfang
|
Department: | 江西师范大学,计算机信息工程学院,江西,南昌,330027;南昌大学,计算中心,江西,南昌,330029;中国科学院软件研究所,计算机科学重点实验室,北京,100080;江西师范大学,计算机信息工程学院,江西,南昌,330027;中国科学院软件研究所,计算机科学重点实验室,北京,100080
|
Abstract: | 时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL*及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. |
Language: | 中文
|
Content Type: | 期刊论文
|
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.
|
|
|