@inproceedings{BBH+13DIVINE,
 author = {Jiří Barnat and Luboš Brim and Vojtěch Havel and Jan Havlíček and Jan Kriho and Milan Lenčo and Petr Ročkai and Vladimír Štill and Jiří Weiser},
 booktitle = {{Computer Aided Verification}},
 doi = {10.1007/978-3-642-39799-8_60},
 editor = {Sharygina, Natasha and Veith, Helmut},
 isbn = {978-3-642-39798-1},
 keywords = {divine, red hat},
 language = {English},
 pages = {863--868},
 publisher = {Springer Berlin Heidelberg},
 series = {Lecture Notes in Computer Science},
 title = {{DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C \& C++ Programs}},
 volume = {8044},
 year = {2013}
}