Precise Thread-Modular Verification
No abstract available.
Related papers
- Thread modularity at many levels: a pearl in compositional verification POPL 2017
- cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution) TACAS 2021
- Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic SAS 2017
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Modular Verification of Concurrent Thread Management APLAS 2012
- Thread-Modular Verification for Shared-Memory Programs ESOP 2002
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005