Title: | search space partition and case basis exploration for reducing model checking complexity |
Author: | Su B
; Zhang WH
|
Conference Name: | 2nd International Conference on Automated Technology for Verification and Analysis
|
Conference Date: | OCT 31-NOV
|
Issued Date: | 2004
|
Conference Place: | Taipei, TAIWAN
|
Publisher: | AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS
|
Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
Indexed Type: | sci
; istp
|
ISSN: | 0302-9743
|
ISBN: | 3-540-23610-4
|
Department: | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China. Chinese Acad Sci, Grad Sch, Beijing, Peoples R China.
|
Sponsorship: | 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
|
English Abstract: | 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 |
Language: | 英语
|
Content Type: | 会议论文
|
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.
|
|
|