Efficient Search as a Means of Executing Specifications

Authors:Craig A. Damon and Daniel Jackson

Proc. TACAS '96 March 1996.

Download the PostScript.


The utility of directly executing formal specifications is briefly touched upon and the concept of exhaustive search as a means of execution is introduced. A mechanism for improving the efficiency of such searches is presented in some detail. Finally, the results of an implementation of the mechanism are presented.


model generation, constraint satisfaction, exhaustive testing, formal specifications, executable specifications.
Back to Nitpick Home Page