# Principles of Model Checking

Canonical: https://www.bookquiver.com/christel-baier/principles-of-model-checking

![Principles of Model Checking](https://quivercdn.com/covers/the-mit-press/christel-baier/principles-of-model-checking_978-02-6202-649-9.jpg?v=2026-06-20%2000%3A27%3A59)

- Authors: [Christel Baier](https://www.bookquiver.com/christel-baier), [Joost-Pieter Katoen](https://www.bookquiver.com/joost-pieter-katoen), [Kim Guldstrand Larsen](https://www.bookquiver.com/kim-guldstrand-larsen)
- Language: en_US
- Published: 2008-04-25

## Description

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

## Editions

### Principles of Model Checking

- Publisher: the_mit_press
- ISBN: 978-02-6202-649-9
- Pages: 984
- Published: 2008-04-25
- Language: en_US