Modeling and Verification of Real-time Systems
Navet, Nicolas (Real-Time Systems at INRIA Lorraine (Nancy, France)) / Merz, Stephan (INRIA Lorraine (Nancy, France))![Modeling and Verification of Real-time Systems](https://support.digitalhusky.com/media/annotations/sorted/366/3660093/CHSBZCOP033660093.jpg)
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 ...