LCS Publication Details
Publication Title: Boolean Compilation of Relational Specifications
Publication Author: Jackson, D.
Additional Authors:
LCS Document Number: MIT-LCS-TR-735
Publication Date: 1-1-1998
LCS Group: Theory of Computation
Additional URL: No URL Given
A new method for analyzing relational specifications is described. A property to be checked is cast as a relational formula, which, if the property holds, has no finite models. The relational formula is translated into a boolean formula that has a model f
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.