ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00024323" target="_blank" >RIV/00216224:14330/08:00024323 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Popis výsledku v původním jazyce
We present a new version of probdivine -- a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous release, the new version of the tool allows for both quantitative and qualitative model-checking. It is also strictly multi-threaded, therefore, protects users from unwanted burden of parallel computing in a distributed-memory environment.
Název v anglickém jazyce
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Popis výsledku anglicky
We present a new version of probdivine -- a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous release, the new version of the tool allows for both quantitative and qualitative model-checking. It is also strictly multi-threaded, therefore, protects users from unwanted burden of parallel computing in a distributed-memory environment.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
Rok uplatnění
2008
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
ISBN
978-0-7695-3360-5
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
—
Název nakladatele
IEEE Computer Society
Místo vydání
Washington, DC, USA
Místo konání akce
St Malo, France
Datum konání akce
1. 1. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000260248700010