ProbDiVinE

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.
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Rok publikování 2007
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

www http://divine.fi.muni.cz
Popis Softvérový nástroj pro verifikaci kvalitativních aspektů pravděpodobnostních systémů pro paralelní hardvérové platformy s distribuovanou pamětí. Systémy jsou specifikovány pomocí nově navrženého modelovacího jazyka ProbDVE. Vlastnosti specifikovány pomocí formulí lineární temporální logiky.
Související projekty:

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