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: 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
• 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

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru