smt-based bounded model checking for real-time systems

	smt-based bounded model checking for real-time systems
	Xu Liang
	2008
会议名称	8th International Conference on Quality Software
会议录名称	Proceedings - International Conference on Quality Software
页码	120-125
会议日期	AUG 12-13,
会议地点	Oxford, ENGLAND
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE
ISSN	1550-6002
ISBN	978-0-7695-3312-4
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
摘要	SAT-based bounded model checking has a high complexity in dealing with real-time systems. SMT solvers can generalize SAT solving by adding the ability to handle arithmetic and other decidable theories. With this advantage, if we use SMT in bou
关键词	Chlorine Compounds Digital Arithmetic Model Checking Speech Transmission Surface Mount Technology
主办者	Oxford Brookes Univ, Univ Hong Kong
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10572
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xu Liang. smt-based bounded model checking for real-time systems[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE,2008:120-125.