ProbDiVinE 2.0

• 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