SMT-Based Modular Analysis of Sequential Systems Code
Abstract elided by the publisher.
Related papers
- Thread-modular shape analysis PLDI 2007
- Static Analysis of Memory Models for SMT Encodings OOPSLA 2023
- Taming callbacks for smart contract modularity OOPSLA 2020
- Performance challenges in modular parallel programs PPoPP 2018
- Efficient SMT-Based Analysis of Failure Propagation CAV 2021
- Modular specification and verification of closures in Rust OOPSLA 2021
- RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) ECOOP 2025
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq CPP 2011