ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Rok publikování 2008
Druh Článek ve sborníku
Konference QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova LTL Model Checking; Multi-core CPU; Probabilistic systems
Popis 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ích systémů a to na systémech osazených vícejadernými procesory.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.