Handbook of Model Checking

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Clarke, Edmund M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Henzinger, Thomas A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Veith, Helmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bloem, Roderick (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Computers.; Software engineering.; Mathematical logic.; Computer science-Mathematics.; Computer software-Reusability.; Quality control.; Reliability.; Industrial safety.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Mathematics of Computing.; Performance and Reliability.; Quality Control, Reliability, Safety and Risk.

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for...