Repository | Journal | Volume | Article
Model checking techniqes for the analysis of reactive systems
pp. 173-201
Abstract
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
Published in:
Löwe Benedikt, Rudolph Florian (2002) Foundations of the formal sciences I. Synthese 133 (1-2).
Pages: 173-201
Full citation:
Merz Stephan (2002) „Model checking techniqes for the analysis of reactive systems“. Synthese 133 (1-2), 173–201.