ProbDiVinE 2.0

• 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ů