Peter H. Starke

Learn More
This report reflects the state of the art in the analysis of signal-net systems. It is intended to serve as a reference manual for all those interested in this new type of nets. Although the main problems are undecidable, analysis is possible. Introduction Modular modeling of systems is based on a concept of interaction for modules. If the modules are(More)
  • H A B I L I T A T I O N S S C H R I F T, Nat Karsten Schmidt, In Berlin, Jürgen Mlynek, Kulke Elmar, Gutachter +4 others
  • 2002
Verification is the task of determining whether a (model of a) system holds a given behavioral property. State space verification comprises a class of computer aided verification techniques where the property is verified through exhaustive exploration of the reachable states of the system. Brute force implementations of state space verification are(More)