Principles of Model Checking

by

Write The First Customer Review

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 (MA), Cambridge

ISBN-13: 9780262026499

Hardcover

Select