Quantitative Model Checking of Systems with Degradation

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Lékařskou 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
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:

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

Další info