Abstract
The fourth version of the DIVINE model checker provides a modular platform for verification of real-world programs. It is built around an efficient interpreter of LLVM code which, together with a small, verification-oriented operating system and a set of runtime libraries, enables verification of code written in C and C++.
Cite
CITATION STYLE
Baranová, Z., Barnat, J., Kejstová, K., Kučera, T., Lauko, H., Mrázek, J., … Štill, V. (2017). Model checking of C and C++ with DIVINE 4. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10482 LNCS, pp. 201–207). Springer Verlag. https://doi.org/10.1007/978-3-319-68167-2_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
