Informace o publikaci

ProbDiVinE-MC

Autoři

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

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

Fakulta informatiky

Popis Softvérový nástroj pro verifikaci kvantitativních aspektů pravděpodobnostních systémů pro paralelní hardvérové platformy se sdílenou pamětí. Systémy jsou specifikovány pomocí modelovacího jazyka ProbDVE. Vlastnosti specifikovány pomocí formulí lineární temporální logiky. Nástroj využívá volně dostupné softvérové produkty lpsolve a HOARD Library.
Související projekty:

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

Další info