Zde se nacházíte:
Informace o publikaci
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Název česky | ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích |
---|---|
Autoři | |
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 | |
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: |