ABSTRACT
The term model checking was coined by Clarke and Emerson [1], and Sifakis and Queille independently [2]. Model checking is a general approach and is applied in areas like hardware and software verifications. Due to its success in several projects and the high degree of support by tools, there is an increasing interest in industry in model checking-various companies have started building their own research groups and sometimes have developed their own in-house model checkers.
