Search CORE

2 research outputs found

Efficient State Space Reduction for Automata by Fair Simulation

Author: D.L. Dill
F. Somenzi
H. Tauriainen
K. Etessami
P. Gastin
R. Milner
S. Gurumurthy
S. Juvekar
T.A. Henzinger
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

efficient state space reduction for automata by fair simulation

Author: Yi Jin
Zhang Wenhui
Publication venue: International Symposium on Fundamentals of Software Engineering, Proceedings
Publication date: 01/01/2007
Field of study

ACM SIGSOFT, IFIP WG 2 2State 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 in

Institute Of Software, Chinese Academy Of Sciences