"ProbDiVinE" . . "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." . . . . "http://www.fi.muni.cz/paradise/software.html#probdivine" . "\u010Ce\u0161ka, Milan" . "Brim, Lubo\u0161" . . . . . . "444562" . . "ProbDiVinE"@en . . . . "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."@en . "\u010Cern\u00E1, Ivana" . "14330" . . . . "RIV/00216224:14330/07:00024472" . "RIV/00216224:14330/07:00024472!RIV10-GA0-14330___" . . "qualitative parallel verification; model-checking; probabilistic systems"@en . "[36CD8A5DC318]" . "ProbDiVinE" . "T\u016Fmov\u00E1, Jana" . . "5"^^ . "5"^^ . . "ProbDiVinE"@en . "probdivine" . "Kvalitativn\u00ED verifikace pravd\u011Bpodobnostn\u00EDch syst\u00E9m\u016F na platform\u00E1ch s distribuovanou pam\u011Bt\u00ED, MPI/Linux, vy\u017Eaduje DiVinE Library." . . . . "Barnat, Ji\u0159\u00ED" . "P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)" . . .