2007
ProbDiVinE: A Parallel Qualitative LTL Model Checker
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA, Jana TŮMOVÁ et. al.Základní údaje
Originální název
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Název česky
ProbDiVinE: Paralelní qualitativní model checker
Autoři
BARNAT, Jiří (203 Česká republika, garant), Luboš BRIM (203 Česká republika), Ivana ČERNÁ (203 Česká republika), Milan ČEŠKA (203 Česká republika) a Jana TŮMOVÁ (203 Česká republika)
Vydání
United States of America, Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), od s. 215-216, 2 s. 2007
Nakladatel
IEEE Computer Society
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Velká Británie a Severní Irsko
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/07:00019472
Organizační jednotka
Fakulta informatiky
ISBN
0-7695-2883-X
UT WoS
000250951700029
Klíčová slova anglicky
ProbDiVinE; Qualitative LTL; Probabilistic; Model Checking
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 1. 6. 2009 21:07, prof. RNDr. Jiří Barnat, Ph.D.
V originále
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.
Česky
Prezentujeme paralelní model checker pro ověřování Markovových rozhodovacích procesů (MDP) na vlastnosti formulované v lineární temporální logice. Nástroj rozšiřuje paralelní model checker DiVinE a podporuje verifikaci qualitativních vlastností.
Návaznosti
| MSM0021622419, záměr |
| ||
| 1ET408050503, projekt VaV |
| ||
| 1M0545, projekt VaV |
|