| 时间符号迁移图上的可达性分析 |
| 其他题名 | reachability analysis on real-time value-passing systems
|
| 陈靖
|
| 2003
|
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164
|
| 卷号 | 26期号:1页码:19-25 |
| 摘要 | 提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域. |
| 收录类别 | wanfang
; ei
|
| 关键词 | 模型检测
协议
可达性分析
实时
时间符号迁移图
时间符号迁移图
检测算法
正确性证明
硬件设计
协议验证
建模语言
可达性
通信
模型algorithms
Computer Simulation
Mathematical Models
Network Protocols
Theorem Proving
|
| 部门归属 | 中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13076
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
陈靖. 时间符号迁移图上的可达性分析[J]. 计算机学报,2003,26(1):19-25.
|
| APA |
陈靖.(2003).时间符号迁移图上的可达性分析.计算机学报,26(1),19-25.
|
| MLA |
陈靖."时间符号迁移图上的可达性分析".计算机学报 26.1(2003):19-25.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论