DIVINE 3.0

• Authors: ROČKAI Petr; BARNAT Jiří; ŠTILL Vladimír; WEISER Jiří; BRIM Luboš; HAVEL Vojtěch; HAVLÍČEK Jan; KRIHO Jan
• Year of publication: 2013
• MU Faculty or unit: Faculty of Informatics

web

• zdrojový kód
• URL

• Description: 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++.