DIVINE 3.0

• Autoři: ROČKAI Petr; BARNAT Jiří; ŠTILL Vladimír; WEISER Jiří; BRIM Luboš; HAVEL Vojtěch; HAVLÍČEK Jan; KRIHO Jan
• Rok publikování: 2013
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky

www

• zdrojový kód
• URL

• Popis: DIVINE is a modern explicit-state model checker. Building on high­-per­for­mance algorithms and data structures, it offers unparalleled versatility, sca­ling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.