Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
%0 Book
%1 baier2008principles
%A Baier, Christel
%A Katoen, Joost-Pieter
%C Cambridge, Mass.
%D 2008
%I MIT Press
%K model-checking
%T Principles of model checking
%U http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=226091
%X Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
%@ 9780262267564 026226756X 9781435643277 1435643275
@book{baier2008principles,
abstract = {Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.},
added-at = {2014-07-25T19:41:53.000+0200},
address = {Cambridge, Mass.},
author = {Baier, Christel and Katoen, Joost-Pieter},
biburl = {https://www.bibsonomy.org/bibtex/2b5e9a224baa5b90cb111862327980f7d/cut},
interhash = {050954942095dcc29dfafe5e64784433},
intrahash = {b5e9a224baa5b90cb111862327980f7d},
isbn = {9780262267564 026226756X 9781435643277 1435643275},
keywords = {model-checking},
publisher = {MIT Press},
refid = {228031090},
timestamp = {2014-07-25T19:41:53.000+0200},
title = {Principles of model checking},
url = {http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=226091},
year = 2008
}