Symbolic Model Checking
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Authors | Kenneth L. McMillan |
| Genres | Thesis |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2018967 |
About Symbolic Model Checking
Formal verification means having a mathematical model of asystem, a language for specifying desired properties of the system ina concise, comprehensible and unambiguous way, and a method of proofto verify that the specified properties are satisfied. . . .