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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cumberland
MIT Press, The
2016
|
| Edition: | 1 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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