ProbDiVinE: Paralelní qualitativní model checker

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00019472" target="_blank" >RIV/00216224:14330/07:00019472 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)
ISBN
0-7695-2883-X
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
215-216
Název nakladatele
IEEE Computer Society
Místo vydání
United States of America
Místo konání akce
Edinburgh, Scotland
Datum konání akce
1. 1. 2007
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)