Model Checking And Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected And Invited Papers
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | February 25, 2009 |
| Editors | Doron A. Peled |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2037068 |
About Model Checking And Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected And Invited Papers
Model checking is a branch of software and hardware veri?cation that involves developingalgorithmsfortheautomaticveri?cationofsystems. Originatingfrom mathematical logic, “model checking” stands for the process of determining whether or not a formula of some logic is satis?ed by a model for the logic. . . .