Efficient Modular SMT-Based Model Checking of Pointer Programs
Abstract elided by the publisher.
Related papers
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- The Golem Horn Solver CAV 2023
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq CPP 2011
- Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers CAV 2022
- Static Analysis of Memory Models for SMT Encodings OOPSLA 2023
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- The WhyRel Prototype for Modular Relational Verification of Pointer Programs TACAS 2023
- Efficient modular glass box software model checking OOPSLA 2010