This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve
guarantees of temporal correctness.
Topics addressed include mathematical models of real-time
systems and associated formal verification techniques such as model
checking, probabilistic modeling and verification, programming and
description languages, and validation approaches based on...
Tabla de materias
Chapter 1. Time Petri Nets: Analysis Methods and Verification with TINA (Bernard Berthomieu, François Vernadat).
Chapter 2. Validation of Reactive Systems by Mean...
Sobre el autor
Stephan Merz is a researcher at INRIA Lorraine (Nancy,
France). He is interested in formal methods for the analysis and
construction of reliable software systems, ...