Repository | Journal | Volume | Article

237280

Model checking techniqes for the analysis of reactive systems

Stephan Merz

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

DOI: 10.1023/A:1020887910943

Full citation:

Merz Stephan (2002) „Model checking techniqes for the analysis of reactive systems“. Synthese 133 (1-2), 173–201.