Model checking /
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Massachusetts :
MIT Press,
[2018]
|
| Edition: | Second edition. |
| Series: | Cyber-physical systems series.
|
| Subjects: |
| Summary: | An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. |
|---|---|
| Physical Description: | xx, 402 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780262038836 0262038838 |