ProbDiVinE

• 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