ENGLISH

Principles of Model Checking

By Joost-Pieter Katoen , Christel Baier

Book information

Year
2008
ISBN
9780262026499, 9781435643277, 026202649X
Open Library ID
OL10236810M
Language
english
Format
PDF
Filesize
4 MB (4614333 bytes)
Pages
984\994
Time added
2011-06-04 13:46:07

Description

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.

Similar books