A Logic for Analyzing Abstractions of Graph Transformation Systems
Abstract elided by the publisher.
Related papers
- Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction VMCAI 2015
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems TACAS 2006
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ESOP 2016
- Abstract Interpretation with Specialized Definitions SAS 2006
- Connectivity graphs: a method for proving deadlock freedom based on separation logic POPL 2022
- Range Allocation for Separation Logic CAV 2004
- Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming TOPLAS 1999