ProbDiVinE

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:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru