DiVinE - A Tool for Distributed Verification
Abstract elided by the publisher.
Related papers
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- LART: Compiled Abstract Execution - (Competition Contribution) TACAS 2022
- DIVINE: DIscovering Variables IN Executables VMCAI 2007
- DIVINE: Explicit-State LTL Model Checker - (Competition Contribution) TACAS 2016
- DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs CAV 2013
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021
- LLMC: Verifying High-Performance Software CAV 2021
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023