ProbDiVinE 2.0

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	APPL Jiří BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana
Rok publikování	2010
Druh	Software
Fakulta / Pracoviště MU	Fakulta informatiky
www	Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
Popis	Nástroj pro distribuovanou kvantitativní verifikaci vlastností lineárního času pravděpodobnostních modelů.
Související projekty:	Verifikace a analýza velmi velkých počítačových systémů