Principles of Model Checking

English | 2008 | 994 Pages | ISBN: 026202649X | PDF | 4.34 MB

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.

(Buy premium account for maximum speed and resuming ability)