Efficient Property Preservation Checking of Model Refinements
No abstract available.
Related papers
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement ESOP 2017
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics VMCAI 2019
- Lazy abstraction POPL 2002
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024