HybridSAL Relational Abstracter
No abstract available.
Related papers
- Time-Aware Abstractions in HybridSal CAV 2015
- Relating Distances and Abstractions - An Abstract Interpretation Perspective SAS 2025
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Relational Abstractions for Continuous and Hybrid Systems CAV 2011
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- A Relational Abstraction for Functions SAS 2005
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019
- Relational String Abstract Domains VMCAI 2022