"RIV/00216224:14330/07:00019472" . "T\u016Fmov\u00E1, Jana" . . "IEEE Computer Society" . "5"^^ . . . . "0-7695-2883-X" . . . . . . . "ProbDiVinE: A Parallel Qualitative LTL Model Checker"@en . "Brim, Lubo\u0161" . . . "[5A8E7727B5D2]" . "ProbDiVinE: A Parallel Qualitative LTL Model Checker" . "RIV/00216224:14330/07:00019472!RIV10-MSM-14330___" . "\u010Ce\u0161ka, Milan" . "P(1ET408050503), P(1M0545), Z(MSM0021622419)" . . "We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties."@en . . "ProbDiVinE: A Parallel Qualitative LTL Model Checker" . . "2007-01-01+01:00"^^ . . . "\u010Cern\u00E1, Ivana" . "Edinburgh, Scotland" . . . "444563" . "We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties." . "United States of America" . "ProbDiVinE: A Parallel Qualitative LTL Model Checker"@en . "Barnat, Ji\u0159\u00ED" . "000250951700029" . . . "ProbDiVinE; Qualitative LTL; Probabilistic; Model Checking"@en . "Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)" . . "5"^^ . . "2"^^ . . "14330" .