ProbDiVinE

Warning

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

Authors	BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana
Year of publication	2007
MU Faculty or unit	Faculty of Informatics
Web	http://divine.fi.muni.cz
Description	Software tool for qualitative verification of probabilistic systems applicable on distributed-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic.
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Highly Parallel and Distributed Computing Systems Automated software verification