Other formats:
BibTeX
LaTeX
RIS
@misc{1836137, author = {Ročkai, Petr and Lauko, Henrich and Štill, Vladimír and Baranová, Zuzana and Korenčik, Lukáš and Matoušek, Adam and Barnat, Jiří and Šárník, Jakub and Mrázek, Jan and Kejstová, Katarína and Kučera, Tadeáš}, keywords = {model checking; correctness; analysis; concurrency; symbolic}, language = {eng}, institution = {Masarykova Univerzita}, organization = {Masarykova Univerzita}, title = {DIVINE 4.4}, url = {https://divine.fi.muni.cz/}, year = {2021} }
TY - ID - 1836137 AU - Ročkai, Petr - Lauko, Henrich - Štill, Vladimír - Baranová, Zuzana - Korenčik, Lukáš - Matoušek, Adam - Barnat, Jiří - Šárník, Jakub - Mrázek, Jan - Kejstová, Katarína - Kučera, Tadeáš PY - 2021 TI - DIVINE 4.4 KW - model checking KW - correctness KW - analysis KW - concurrency KW - symbolic UR - https://divine.fi.muni.cz/ N2 - DIVINE is a modern, multi-paradigm model checker and incorporates both explicit and symbolic methods, along with abstraction. Based on the LLVM toolchain, it can verify programs written in multiple real-world programming languages, including C and C++. The verification core is built on a foundation of high-performance algorithms and data structures. ER -
ROČKAI, Petr, Henrich LAUKO, Vladimír ŠTILL, Zuzana BARANOVÁ, Lukáš KORENČIK, Adam MATOUŠEK, Jiří BARNAT, Jakub ŠÁRNÍK, Jan MRÁZEK, Katarína KEJSTOVÁ and Tadeáš KUČERA. \textit{DIVINE 4.4}. 2021.
|