ProbDiVinE

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou 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.