Institutional Repository
| combining static analysis and case-based search space partitioning for reducing peak memory in model checking | |
| Zhang WH | |
| 2003 | |
| Source | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| ISSN | 1000-9000 |
| Volume | 18Issue:6Pages:762-770 |
| Indexed Type | sci ; acm |
| Keyword | Model Checking Static Analysis Search Space Partitioning Spin Protocol Verification |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| Subject | Computer Science, Hardware & Architecture ; Computer Science, Software Engineering |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13182 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Zhang WH. combining static analysis and case-based search space partitioning for reducing peak memory in model checking[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003,18(6):762-770. |
| APA | Zhang WH.(2003).combining static analysis and case-based search space partitioning for reducing peak memory in model checking.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,18(6),762-770. |
| MLA | Zhang WH."combining static analysis and case-based search space partitioning for reducing peak memory in model checking".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 18.6(2003):762-770. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| Combining+Static+Ana（494KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment