Project information

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

Project Identification
MUNI/33/15/2015
Project Period
12/2015 - 11/2016
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Informatics

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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info