Informace o projektu
DiVinE – nástroj pro paralelní verifikaci
| Kód projektu | MUNI/33/08/2012 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.04.2012–31.03.2013 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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.