@inproceedings{DIVINEToolPaper2017,
 author = {Zuzana Baranová and Jiří Barnat and Katarína Kejstová and Tadeáš Kučera and Henrich Lauko and Jan Mrázek and Petr Ročkai and Vladimír Štill},
 booktitle = {International Symposium on Automated Technology for Verification and Analysis (ATVA) (to appear)},
 doi = {10.1007/978-3-319-68167-2_14},
 keywords = {divine, tool paper, red hat},
 note = {https://divine.fi.muni.cz/2017/divine4/},
 series = {Lecture Notes in Computer Science},
 title = {{Model Checking of C and C++ with DIVINE 4}},
 volume = {10482},
 year = {2017}
}