sat-based verification of ltl formulas

	sat-based verification of ltl formulas
	Zhang Wenhui
	2007
会议名称	11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	277-292
会议日期	AUG 26-27,
会议地点	Bonn, GERMANY
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL METHODS: APPLICATIONS AND TECHNOLOGY
ISSN	0302-9743
ISBN	978-3-540-70951-0
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
摘要	Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDD-based symbolic model checking of LTL properties in recent years and a lot of successful work has been done with this app
关键词	Approximation Theory Error Analysis Formal Methods Model Checking
主办者	CONCUR
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11072
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Wenhui. sat-based verification of ltl formulas[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS: APPLICATIONS AND TECHNOLOGY,2007:277-292.