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