Project information
DiVinE – nástroj pro paralelní verifikaci

Project Identification
MUNI/33/08/2012
Project Period
4/2012 - 3/2013
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í počítačových programů. K efektivní verifikaci využívá výhod soudobého hardware, zejména pak paralelních architektur, což mu umožňuje zpracovat i extrémně rozsáhlé systémy, které jsou standardními sekvenčními nástroji neverifikovatelné. Cílem projektu je rozšíření modelovacího jazyka a zavedení aproximativních metod pro verifikaci obrovských modelů na hardwaru s omezenou pamětí a dalších postupů pro snížení celkové paměťové náročnosti výpočtu.

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

More info