DIVINE: Explicit-State LTL Model Checker - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs CAV 2013
- LART: Compiled Abstract Execution - (Competition Contribution) TACAS 2022
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- LLMC: Verifying High-Performance Software CAV 2021
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution) TACAS 2013
- CBMC - C Bounded Model Checker - (Competition Contribution) TACAS 2014
- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution) TACAS 2012