Boolean Compilation of Relational Specifications
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
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149864 |
| _version_ | 1826215526039289856 |
|---|---|
| author | Jackson, Daniel |
| author_facet | Jackson, Daniel |
| author_sort | Jackson, Daniel |
| collection | MIT |
| description | 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 |
| first_indexed | 2024-09-23T16:33:24Z |
| id | mit-1721.1/149864 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T16:33:24Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1498642023-03-30T03:05:12Z Boolean Compilation of Relational Specifications Jackson, Daniel 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 2023-03-29T15:30:05Z 2023-03-29T15:30:05Z 1998-01 https://hdl.handle.net/1721.1/149864 MIT-LCS-TR-735 application/pdf |
| spellingShingle | Jackson, Daniel Boolean Compilation of Relational Specifications |
| title | Boolean Compilation of Relational Specifications |
| title_full | Boolean Compilation of Relational Specifications |
| title_fullStr | Boolean Compilation of Relational Specifications |
| title_full_unstemmed | Boolean Compilation of Relational Specifications |
| title_short | Boolean Compilation of Relational Specifications |
| title_sort | boolean compilation of relational specifications |
| url | https://hdl.handle.net/1721.1/149864 |
| work_keys_str_mv | AT jacksondaniel booleancompilationofrelationalspecifications |