Selective Enumeration: A Formal Definition
Author: Craig A. Damon
Technical Report: CMU-CS-98-104
Download the PostScript.
Selective enumeration is a method for reducing the number of cases required when
performing a generate-and-test search to solve relational formulae. This paper gives
a formal definition of selective enumeration and using that definition,
proves soundness for each of the selective enumeration techniques developed.
Relational calculus, exhaustive search, model checking, specification checking,
Back to Nitpick Home Page