Boolean Compilation of Relational Specifications
| dc.contributor.author | Jackson, Daniel | en_US |
| dc.date.accessioned | 2023-03-29T15:30:05Z | |
| dc.date.available | 2023-03-29T15:30:05Z | |
| dc.date.issued | 1998-01 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149864 | |
| dc.description.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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-735 | |
| dc.title | Boolean Compilation of Relational Specifications | en_US |
