Model Checking
description
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
read more
pages
346
Year published
1999
Publisher
MIT Press
Issn
0-262-03270-8
Language
en
categories