evaluation of sat-based bounded model checking of actl properties

	evaluation of sat-based bounded model checking of actl properties
	Xu Yanyan; Chen Wei; Xu Liang; 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
页码	339-348
会议日期	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, State Key Lab Comp Sci, Beijing, Peoples R China.
摘要	Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For general LTL and ACTL properties, BMC has traditionally aimed mainly at
关键词	Algorithms Computer Aided Software Engineering Data Storage Equipment Error Detection Mathematical Models State Space Methods
主办者	IFIP, IEEE Comp Soc, E China Normal Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10978
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xu Yanyan,Chen Wei,Xu Liang,et al. evaluation of sat-based bounded model checking of actl properties[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:339-348.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04239977.pdf（439KB）			开放获取	--	请求全文