Search
Now showing items 1-1 of 1
Declarative symbolic pure-logic model checking
(Massachusetts Institute of Technology, 2005)
Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating ...