Quantitative Model Checking of Systems with Degradation

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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