DIVINE: DIscovering Variables IN Executables
No abstract available.
Related papers
- DisCVar: discovering critical variables using algorithmic differentiation for transient faults PPoPP 2018
- DIVINE: Explicit-State LTL Model Checker - (Competition Contribution) TACAS 2016
- DiVinE - A Tool for Distributed Verification CAV 2006
- DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs CAV 2013
- Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy through Machine Code-Level Slowdown OOPSLA 2025
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- LLMC: Verifying High-Performance Software CAV 2021
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021