DiVinE 2.0: High-Performance Model Checking

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky DiVinE 2.0: Vysokovýkonostní nástroj pro ověřování modelu
Autoři

BARNAT Jiří BRIM Luboš ROČKAI Petr

Rok publikování 2009
Druh Článek ve sborníku
Konference International Workshop on High Performance Computational Systems Biology
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova LTL Model Checking
Popis V článku je představen nástroj pro paralelní enumerativní ověřování modelu LTL. Ve své aktuální verzi 2.0 je nástroj schopen efektivně využít HW platformu klastr výpočetních vícejádrových uzlů.
Související projekty:

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