ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Original language description
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.
Czech name
ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích
Czech description
Je představena nová verze nástroje probdivine, který umožňuje verifikovat pravděpodobnostní systémy na vlastnosti specifokované pomocí LTL. Narozdíl od předchozí verze, nástroj umožňuje provádět kvalitativní i kvantitativní verifikaci pravděpodobnostníchsystémů a to na systémech osazených vícejadernými procesory.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
ISBN
978-0-7695-3360-5
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Washington, DC, USA
Event location
St Malo, France
Event date
Jan 1, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000260248700010