efficient state space reduction for automata by fair simulation

	efficient state space reduction for automata by fair simulation
	Yi Jin; Zhang Wenhui
	2007
会议名称	International Symposium on Fundamentals of Software Engineering
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	380-387
会议日期	APR 17-19,
会议地点	Tehran, IRAN
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	International Symposium on Fundamentals of Software Engineering, Proceedings
ISSN	0302-9743
ISBN	978-3-540-75697-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
摘要	State space reduction for automata is important to automata-theoretic model checking. Optimizing automata by simulation relation is a practical method. We propose an approach to simplify Buchi automata by fair simulation, which is based on int
关键词	Computer Programming Languages Computer Simulation Model Checking Optimization
主办者	ACM SIGSOFT, IFIP WG 2 2
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11118
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Yi Jin,Zhang Wenhui. efficient state space reduction for automata by fair simulation[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:International Symposium on Fundamentals of Software Engineering, Proceedings,2007:380-387.