Handbook of Model Checking /

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Clarke, Edmund M. (Editor), Henzinger, Thomas A. (Editor), Veith, Helmut (Editor), Bloem, Roderick (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Subjects:	Information theory. Software engineering. Logic, Symbolic and mathematical. Computer science. Operating systems (Computers) System 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. Electronic books.
Online Access:	Connect to the full text of this electronic book