Quantitative Model Checking of Systems with Degradation

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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