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

Jiri Barnat et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics