ProbDiVinE 2.0

Appl,  Jiří; Barnat,  Jiří; Brim,  Luboš; Černá,  Ivana; Češka,  Milan; Tůmová,  Jana

ProbDiVinE 2.0

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	APPL Jiří BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana
Year of publication	2010
MU Faculty or unit	Faculty of Informatics
Web	Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
Description	Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models.
Related projects:	Verification and Analysis of Large-Scale Computer Systems