ProbDiVinE

• 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

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