题名: | search space partition and case basis exploration for reducing model checking complexity |
作者: | Su B
; Zhang WH
|
会议名称: | 2nd International Conference on Automated Technology for Verification and Analysis
|
会议日期: | OCT 31-NOV
|
出版日期: | 2004
|
会议地点: | Taipei, TAIWAN
|
出版者: | AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS
|
出版地: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
收录类别: | sci
; istp
|
ISSN: | 0302-9743
|
ISBN: | 3-540-23610-4
|
部门归属: | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China. Chinese Acad Sci, Grad Sch, Beijing, Peoples R China.
|
主办者: | Natl Sci Council, Minist Educ, Acad Sinica, Inst Informat Sci, Natl Taiwan Univ, Ctr Informat & Elect Technol, Natl Taiwan Univ, SOC Ctr, Natl Taiwan Univ, Grad Inst Elect Engn, Synopsys Inc
|
英文摘要: | The main disadvantage of model checking is the state explosion problem that can occur if the system being verified has many asynchronous components. Many approaches have been proposed to deal with this challenge. This paper extends an approach |
语种: | 英语
|
内容类型: | 会议论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/12994
|
Appears in Collections: | 软件所图书馆_会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
search space partition and case basis exploration for reducing model checking complexity.pdf(157KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Su B,Zhang WH. search space partition and case basis exploration for reducing model checking complexity[C]. 见:2nd International Conference on Automated Technology for Verification and Analysis. Taipei, TAIWAN. OCT 31-NOV.
|
|
|