{"version":"1.0","type":"link","title":"Principles of Model Checking - Newikis","description":"Principles of Model Checking is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/en/0/03/Principles_of_Model_Checking.jpg","thumbnail_width":274,"thumbnail_height":341}