SMACK+Corral: A Modular Verifier - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- SMACK: Decoupling Source Language Details from Verifier Implementations CAV 2014
- Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution) TACAS 2015
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Proof-Guided Underapproximation Widening for Bounded Model Checking CAV 2022
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) TACAS 2024
- CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023