verification of actl properties by bounded model checking

	verification of actl properties by bounded model checking
	Zhang Wenhui
	2007
会议名称	11th International Conference on Computer Aided Systems Theory
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	556-563
会议日期	FEB 12-16,
会议地点	Las Palmas, SPAIN
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
ISSN	0302-9743
ISBN	978-3-540-75866-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
摘要	SAT-based bounded model checking has been introduced as a complementary technique to BDD-based symbolic model checking in recent years and a lot of successful work has been done with this approach. The success is mostly due to the efficiency o
关键词	Codes (Symbols) Error Detection Mathematical Models Security Of Data
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11068
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Wenhui. verification of actl properties by bounded model checking[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007,2007:556-563.