Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1130026, author = {Barnat, Jiří and Brim, Luboš and Havel, Vojtěch and Havlíček, Jan and Kriho, Jan and Lenčo, Milan and Ročkai, Petr and Štill, Vladimír and Weiser, Jiří}, address = {Heidelberg}, booktitle = {Computer Aided Verification 2013}, doi = {http://dx.doi.org/10.1007/978-3-642-39799-8_60}, editor = {Sharygina, Natasha; Veith, Helmut}, keywords = {model checking; LLVM; C++; C; LTL; timed automata}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Heidelberg}, isbn = {978-3-642-39798-1}, pages = {863-868}, publisher = {Springer}, title = {DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs}, year = {2013} }
TY - JOUR ID - 1130026 AU - Barnat, Jiří - Brim, Luboš - Havel, Vojtěch - Havlíček, Jan - Kriho, Jan - Lenčo, Milan - Ročkai, Petr - Štill, Vladimír - Weiser, Jiří PY - 2013 TI - DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs PB - Springer CY - Heidelberg SN - 9783642397981 KW - model checking KW - LLVM KW - C++ KW - C KW - LTL KW - timed automata N2 - We present a new release of the parallel and distributed LTL model checker DIVINE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DIVINE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ programs, full untimed-LTL model checking of timed automata, and a general-purpose framework for interfacing with arbitrary system modelling tools. ER -
BARNAT, Jiří, Luboš BRIM, Vojtěch HAVEL, Jan HAVLÍČEK, Jan KRIHO, Milan LENČO, Petr ROČKAI, Vladimír ŠTILL a Jiří WEISER. DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C \&{} C++ Programs. In Sharygina, Natasha; Veith, Helmut. \textit{Computer Aided Verification 2013}. Heidelberg: Springer, 2013, s.~863-868. ISBN~978-3-642-39798-1. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39799-8\_{}60.
|