Efficient Search as a Means of Executing Specifications

Authors:Craig A. Damon and Daniel Jackson

Proc. TACAS '96 March 1996.

Abstract

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.

Keywords:

model generation, constraint satisfaction, exhaustive testing, formal specifications, executable specifications.

Back to Nitpick Home Page