We are experiencing minor difficulties with some of our submission forms, which we are working to resolve. You should still be able to submit items, but if you have any issues while submitting, please contact us at dspace-lib@mit.edu.

Boolean Compilation of Relational Specifications

Thumbnail Image
Download
Name

MIT-LCS-TR-735.pdf

Size

853.6 KB

Format

Adobe PDF

Checksum (MD5)

0f3d3bccedc09663867f203e81592243

Author(s)
Jackson, Daniel
Date Issued
January 1998
Series/Report no.
MIT-LCS-TR-735
Abstract
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.