Quantitative Model Checking of Systems with Degradation

• Název česky: Kvantitativní ověřování modelu systémů s degradací
• Autoři: BARNAT Jiří; ČERNÁ Ivana; TŮMOVÁ Jana
• Rok publikování: 2009
• Druh: Článek ve sborníku
• Konference: 2009 Sixth International Conference on the Quantitative Evaluation of Systems
• Fakulta / Pracoviště MU: Fakulta informatiky

www

• http://doi.ieeecomputersociety.org/10.1109/QEST.2009.24
• https://dl.acm.org/doi/10.1109/QEST.2009.24

• Obor: Informatika
• Klíčová slova: Systems with degradation; LTL model checking
• Popis: V tomto článku je popsána speciální vlastnost systémů - degradace, a je rozpracován metoda verifikace tohoto aspektu, která staví na technice ověřování modelu. Dále je v článku definován nový formalismus pro zachycení vlastností systémů s degradací, a je demonstrováno, že tento formalismus je schopen vyjádřit vlastnosti pravděpodobnostních systémů, které nejsou vyjádřitelné ve stadnardních logikách jako jsou PLTL, nebo PCTL*.

Související projekty

• Institut Teoretické Informatiky
• Verifikace a analýza velmi velkých počítačových systémů
• Automatizovaná formální verifikace s využitím soudobého hardware