(2002) Synthese 133 (1-2).
Model checking is a widely used technique that aids in the designand debugging of reactive systems. This paper gives an overview onthe theory and algorithms used for model checking, with a biastowards automata-theoretic approaches and linear-time temporallogic. We also describe elementary abstraction techniques useful forlarge systems that cannot be directly handled by model checking.
Publication details
Full citation:
Merz, S. (2002). Model checking techniqes for the analysis of reactive systems. Synthese 133 (1-2), pp. 173-201.
This document is unfortunately not available for download at the moment.