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