Principles of Model Checking

• Main Authors: Baier, Christel, Katoen, Joost-Pieter, Larsen, Kim Guldstrand
• Format: eBook
• Language: English
• Published: Cumberland MIT Press, The 2016
• Edition: 1

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (a...

Table of Contents:

• Cover -- Title Page -- Copyright -- Dedication -- Contents -- Foreword -- Preface -- Chapter 1 System Verification -- Chapter 2 Modelling Concurrent Systems -- Chapter 3 Linear-Time Properties -- Chapter 4 Regular Properties -- Chapter 5 Linear Temporal Logic -- Chapter 6 Computation Tree Logic -- Chapter 7 Equivalences and Abstraction -- Chapter 8 Partial Order Reduction -- Chapter 9 Timed Automata -- Chapter 10 Probabilistic Systems -- Appendix A Appendix: Preliminaries -- Bibliography -- Index