Informace o projektu
Rozšíření nástroje DIVINE pro verifikaci vstupně-výstupně otevřených programů

Kód projektu
MUNI/33/15/2015
Období řešení
12/2015 - 11/2016
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Fakulta informatiky

DIVINE je open-source nástroj pro ověřování LTL vlastností vstupně-výstupně uzavřených počítačových programů v C a C++. K efektivní verifikaci využívá výhod soudobého hardware a sofistikovaných redukčních technik.
SymDIVINE je open-source nástroj pro ověřování LTL vlastností vstupně-výstupně otevřených počítačových programů v C a C++.
Cílem projektu je implementace cache pro dotazy na SMT solver v nástroji SymDIVINE za účelem jeho zefektivnění a integrace nástrojů SymDIVINE do DIVINE.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info