1 / 1
- 2018
- year of publication
- 424
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6203-883-6
- EAN
- 9780262038836
- Publication date
- 2018-12-04
- Book
- Model Checking, second edition · 1 edition
The publisher on this edition
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. Model checking is a verification...