SMACK: Decoupling Source Language Details from Verifier Implementations
Abstract elided by the publisher.
Related papers
- SMACK+Corral: A Modular Verifier - (Competition Contribution) TACAS 2015
- Automated Inline-Test Generation without Relying on Method-Level Unit Tests ECOOP 2026
- Equivalence Checking of a libm Port TACAS 2025
- Decoupling lock-free data structures from memory reclamation for static analysis POPL 2019
- Pluggable verification modules: an extensible protection mechanism for the JVM OOPSLA 2004
- A Verified Compiler for a Functional Tensor Language PLDI 2024
- Verified tensor-program optimization via high-level scheduling rewrites POPL 2022
- Implementing Signatures for C++ TOPLAS 1997