![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
Název česky | Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů |
---|---|
Autoři | |
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 | |
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: |