Property Preserving Simulations
Abstract elided by the publisher.
Related papers
- CRDT Emulation, Simulation, and Representation Independence ICFP 2025
- Abstract Interpretation of Reactive Systems TOPLAS 1997
- CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee TOPLAS 2021
- Dissipative quadratizations of polynomial ODE systems TACAS 2024
- Almost Fair Simulations ICFP 2025
- Specifying concurrent programs in separation logic: morphisms and simulations OOPSLA 2019
- Property Directed Equivalence via Abstract Simulation CAV 2016
- Compiling with continuations, correctly OOPSLA 2021