model checking with sat-based characterization of actl formulas

	model checking with sat-based characterization of actl formulas
	Zhang Wenhui
	2007
会议名称	9th International Conference on Formal Engineering Methods (ICFEM 2007)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	191-211
会议日期	NOV 14-15,
会议地点	Boca Raton, FL
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS
ISSN	0302-9743
ISBN	978-3-540-76648-3
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties have been studied and used as the theoretical basis for SAT-bas
关键词	Error Detection Mathematical Models Problem Solving Semantics
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11050
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Wenhui. model checking with sat-based characterization of actl formulas[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS,2007:191-211.