Search
Now showing items 1-2 of 2
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 ...
Reconstruction of 3D tree models from instrumented photographs
(Massachusetts Institute of Technology, 1999)