48 Hours Only | Save up to $12. Get the code »

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.

Principles of Model Checking 2008, Mit Press, Cambridge

ISBN-13: 9780262026499