Fold/Unfold Transformations for Fixpoint Logic
Author(s): Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti
DownloadTo refer to this page use:
http://arks.princeton.edu/ark:/88435/pr1d263Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kobayashi, Naoki | - |
| dc.contributor.author | Fedyukovich, Grigory | - |
| dc.contributor.author | Gupta, Aarti | - |
| dc.date.accessioned | 2021-10-08T19:46:38Z | - |
| dc.date.available | 2021-10-08T19:46:38Z | - |
| dc.date.issued | 2020 | en_US |
| dc.identifier.citation | Kobayashi, Naoki, Grigory Fedyukovich, and Aarti Gupta. "Fold/Unfold Transformations for Fixpoint Logic." In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2020): pp. 195-214. doi:10.1007/978-3-030-45237-7_12 | en_US |
| dc.identifier.issn | 0302-9743 | - |
| dc.identifier.uri | http://arks.princeton.edu/ark:/88435/pr1d263 | - |
| dc.description.abstract | Fixpoint logics have recently been drawing attention as common foundations for automated program verification. We formalize fold/unfold transformations for fixpoint logic formulas and show how they can be used to enhance a recent fixpoint-logic approach to automated program verification, including automated verification of relational and temporal properties. We have implemented the transformations in a tool and confirmed its effectiveness through experiments. | en_US |
| dc.format.extent | 195 - 214 | en_US |
| dc.language.iso | en_US | en_US |
| dc.relation.ispartof | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | en_US |
| dc.rights | Final published version. This is an open access article. | en_US |
| dc.title | Fold/Unfold Transformations for Fixpoint Logic | en_US |
| dc.type | Conference Article | en_US |
| dc.identifier.doi | 10.1007/978-3-030-45237-7_12 | - |
| dc.identifier.eissn | 1611-3349 | - |
| pu.type.symplectic | http://www.symplectic.co.uk/publications/atom-terms/1.0/conference-proceeding | en_US |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| FoldUnfoldTransformationsFixpointLogic.pdf | 413.68 kB | Adobe PDF | View/Download |
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.