Book of Donmon Teith

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is e

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as a

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of comple