Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Principles of Model Checking
open-in-new
<p><i>Principles of Model Checking</i> is a textbook on <a href="/facts/Model_checking/FwvKMlw9">model checking</a>, an area of <a href="/facts/Computer_science/lN3pEyPz">computer science</a> that automates the problem of determining if a machine meets specification requirements. It was written by <a href="/facts/Christel_Baier/1sLrqaw4">Christel Baier</a> and <a href="/facts/Joost-Pieter_Katoen/TV1pN0aX">Joost-Pieter Katoen</a>, and published in 2008 by <a href="/facts/MIT_Press/eTerUM3c">MIT Press</a>. </p>