Model Checking Techniqes for the Analysis of Reactive Systems |
| |
Authors: | Merz Stephan |
| |
Affiliation: | (1) Institut für Informatik, Ludwig-Maximilians-Universität München, Cettingenstr. 67, 80538 Müchen, Germany |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|