"130" Result
Sort By:
Handbook of Model Checking
by Veith, Helmut, Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A.
0
Type: Book
Handbook of Model Checking
0
Type: Book
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…