Making Abstract Model Checking Strongly Preserving
Abstract elided by the publisher.
Related papers
- How to Preserve the Benefits of Design Patterns OOPSLA 1998
- Interfaces for Strongly-Typed Object-Oriented Programming OOPSLA 1989
- lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation JFP 1996
- Consistency-preserving propagation for SMT solving of concurrent program verification OOPSLA 2022
- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition TACAS 2023
- Type-preserving garbage collectors POPL 2001
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021
- Efficient Property Preservation Checking of Model Refinements TACAS 2013