Handbook of Model Checking photograph

Handbook Of Model Checking

Use attributes for filter !
Google books books.google.com
Originally published April 9, 2016
Editors Helmut Veith
Edmund M. Clarke
Thomas A. Henzinger
Date of Reg.
Date of Upd.
ID2175761
Send edit request

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

Related Persons

Next Profile ❯