| partition refinement in abstract model checking |
| Pu Fei; Zhang Wenhui
|
| 2007
|
| 会议名称 | 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering
|
| 会议录名称 | First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07
|
| 页码 | 209-218
|
| 会议日期 | JUN 06-08,
|
| 会议地点 | Shanghai, PEOPLES R CHINA
|
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| 出版者 | TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
|
| ISBN | 978-0-7695-2856-4
|
| 部门归属 | Chinese Acad Sci, Inst Software, Key Lab Comp Sci, Beijing 100080, Peoples R China.
|
| 摘要 | Model checking has been successfully applied to system verification. However, in model checking, the state explosion problem occurs when one checks systems of industrial size. Abstraction-based methods have been particularly successful in this |
| 关键词 | Abstracting
Data Storage Equipment
Mathematical Models
Problem Solving
Search Engines
|
| 主办者 | IFIP, IEEE Comp Soc, E China Normal Univ
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10980
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
Pu Fei,Zhang Wenhui. partition refinement in abstract model checking[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings,2007:209-218.
|
修改评论