On Combining Partial Order Reduction with Fairness Assumptions

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Kombinace redukce pomocí reprezentantů s fairness předpoklady
Autoři

BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

Rok publikování 2006
Druh Článek ve sborníku
Konference Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova partial order reduction; fairness; LTL model checking
Popis Je prezentován nový přístup kombinace redukce pomocí reprezentantů a fairness podmínek v kontextu ověřování LTL vlastností modelu. Je zadefinováno několik tříd chování popisující typické fairness přepoklady a dokázáno, jak jednotlivé redukční techniky zachovávají tyto třídy. Zejména je uvažován případ, kdy redukce zachovávají všechna chování a redukce zachovávající jen některá z nich.
Související projekty:

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