an improved case-based approach to ltl model checking

ISCAS OpenIR

	an improved case-based approach to ltl model checking
	Pu F; Zhang WH; Wang SC
	2006
会议名称	2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005)
页码	190-202
会议日期	SEP 08-09,
会议地点	Heraklion, GREECE
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES
ISSN	0302-9743
ISBN	3-540-34063-7
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	The state space explosion is the key obstacle of model checking. Even a relatively small system specification may yield a very large state space. The case-based approach based on search space partition has been proposed in 18,19 for reducing m
主办者	ECRIM, Inst Comp Sci, FORTH, Fdn Res & Technol Hellas, Fonds Natl Rech, Software Engn Competence Ctr
语种	英语
WOS记录号	WOS:000238079700013
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12212
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Pu F,Zhang WH,Wang SC. an improved case-based approach to ltl model checking[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES,2006:190-202.