Locality-Based Abstractions
Abstract elided by the publisher.
Related papers
- Abstract Local Completeness - A Local Form of Abstract Non-interference VMCAI 2025
- Resources, Concurrency, and Local Reasoning (Abstract) ESOP 2004
- Error Invariants for Fault Localization via Abstract Interpretation SAS 2023
- Local Model Checking for Real-Time Systems (Extended Abstract) CAV 1995
- Access Analysis-Based Tight Localization of Abstract Memories VMCAI 2011
- Localization and Register Sharing for Predicate Abstraction TACAS 2005
- Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications VMCAI 2025
- Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) TACAS 1998