Thread-Modular Abstraction Refinement
Abstract elided by the publisher.
Related papers
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023