Institutional Repository
| 模型检测新技术研究 | |
| Alternative Title | new approaches for model checking |
| 戎玫; 张广泉 | |
| 2003 | |
| Source | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 30Issue:5Pages:102-104 |
| Indexed Type | wanfang ; cnki |
| Abstract | 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 |
| Keyword | Model Checking State Explosion Symbolic Model Checking Positional Reasoning Real-time System Hybrid System 模型 检测 新技术研究 Model Checking Mathematical Methods Concurrent System Hybrid Systems State Space |
| Department | 暨南大学中旅学院,深圳,518053;苏州大学计算机科学与技术学院,苏州,215006;中国科学院软件所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13090 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 戎玫,张广泉. 模型检测新技术研究[J]. 计算机科学,2003,30(5):102-104. |
| APA | 戎玫,&张广泉.(2003).模型检测新技术研究.计算机科学,30(5),102-104. |
| MLA | 戎玫,et al."模型检测新技术研究".计算机科学 30.5(2003):102-104. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 模型检测新技术研究.pdf（192KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment