Skip to main content

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

DOI 10.1007/978-3-642-39799-8_60 dblp BibTeX

No abstract available.

Related papers

DIVINE: Explicit-State LTL Model Checker - (Competition Contribution) TACAS 2016
LLMC: Verifying High-Performance Software CAV 2021
Iterative context bounding for systematic testing of multithreaded programs PLDI 2007
AutoHyper: Explicit-State Model Checking for HyperLTL TACAS 2023
A Modular Checker for Multithreaded Programs CAV 2002
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs ESOP 2009
LART: Compiled Abstract Execution - (Competition Contribution) TACAS 2022
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs PLDI 2008