# Model Checking, second edition

Canonical: https://www.bookquiver.com/edmund-m-clarke-jr/model-checking-second-edition

![Model Checking, second edition](https://quivercdn.com/covers/the-mit-press/edmund-m-clarke-jr/model-checking-second-edition_978-02-6203-883-6.jpg?v=2026-06-09%2017%3A18%3A23)

- Authors: [Edmund M. Clarke, Jr.](https://www.bookquiver.com/edmund-m-clarke-jr), [Orna Grumberg](https://www.bookquiver.com/orna-grumberg), [Daniel Kroening](https://www.bookquiver.com/daniel-kroening), [Doron Peled](https://www.bookquiver.com/doron-peled), [Helmut Veith](https://www.bookquiver.com/helmut-veith)
- Language: en_US
- Published: 2018-12-04

## Description

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...

## Editions

### Model Checking, second edition

- Publisher: the_mit_press
- ISBN: 978-02-6203-883-6
- Pages: 424
- Published: 2018-12-04
- Language: en_US