Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
Autoři

MORAVEC Pavel

Rok publikování 2006
Druh Článek ve sborníku
Konference 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova model checking; partial order reduction; proviso checking
Popis Článek shrnuje všechny známé algoritmy pro ověřování provisa u redukce pomocí reprezentantů pro ověřování LTL vlastností modelu. Všechny zmíněné algoritmy byly implementovány a experimentálně vyhodnoceny na rozsáhlé sbírce modelů. Experimenty ve většině případů potvrdily teoretická očekávání z porovnání algoritmů.
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