Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
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.
Categories:
Year:
2008
Publisher:
The MIT Press
Language:
english
Pages:
984
ISBN 10:
1435643275
ISBN 13:
9781435643277
File:
PDF, 4.40 MB
IPFS:
,
english, 2008