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
• www: http://divine.fi.muni.cz
• 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

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru