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

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

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

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools be

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means