Property Directed Equivalence via Abstract Simulation
Abstract elided by the publisher.
Related papers
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning TACAS 2020
- A Relational Program Logic with Data Abstraction and Dynamic Framing TOPLAS 2022
- An example of goal-directed, calculational proof JFP 2024
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023
- CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee TOPLAS 2021
- Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs TACAS 2025
- Property Directed Abstract Interpretation VMCAI 2016
- Property Directed Polyhedral Abstraction VMCAI 2015