Local Proofs for Global Safety Properties
No abstract available.
Related papers
- Local Reasoning for Global Graph Properties ESOP 2020
- Arithmetizing Shape Analysis CAV 2025
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Verification of Neural Networks' Global Robustness OOPSLA 2024
- Verifying Global Two-Safety Properties in Neural Networks with Confidence CAV 2024
- Proving Lock-Freedom Easily and Automatically CPP 2015
- Verification of safety properties for concurrent assembly code ICFP 2004
- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management SAS 2003