Principles of Model Checking
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...
Uložené v:
| Hlavní autori: | , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Cumberland
MIT Press, The
2016
|
| Vydanie: | 1 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Obsah:
- 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