2 options
Principles of model checking / Christel Baier, Joost-Pieter Katoen.
- Format:
- Book
- Author/Creator:
- Baier, Christel.
- Language:
- English
- Subjects (All):
- Computer systems--Verification.
- Computer systems.
- Computer software--Verification.
- Computer software.
- Physical Description:
- 1 online resource (994 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Cambridge, Mass. : MIT Press, 2008.
- Language Note:
- English
- Summary:
- A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
- Contents:
- Intro
- 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.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references (p. 931-964) and index.
- ISBN:
- 1-282-09957-4
- 9786612099571
- 0-262-26756-X
- 1-4356-4327-5
- OCLC:
- 228031090
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.