| 模型检测新技术研究 |
| 其他题名 | new approaches for model checking
|
| 戎玫; 张广泉
|
| 2003
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 30期号:5页码:102-104 |
| 收录类别 | wanfang
; cnki
|
| 其他摘要 | Model checking is an algorithmic verification technique that checks automatically whether a given finitestate concurrent system satisfies its temporal specification. The main disadvantage of model checking is state spaceexplosion problem. In this paper, s |
| 关键词 | Model Checking
State Explosion
Symbolic Model Checking
Positional Reasoning
Real-time System
Hybrid System
模型
检测
新技术研究
Model Checking
Mathematical Methods
Concurrent System
Hybrid Systems
State Space
|
| 部门归属 | 暨南大学中旅学院,深圳,518053;苏州大学计算机科学与技术学院,苏州,215006;中国科学院软件所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13090
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
戎玫,张广泉. 模型检测新技术研究[J]. 计算机科学,2003,30(5):102-104.
|
| APA |
戎玫,&张广泉.(2003).模型检测新技术研究.计算机科学,30(5),102-104.
|
| MLA |
戎玫,et al."模型检测新技术研究".计算机科学 30.5(2003):102-104.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论