How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking

• Název česky: Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
• Autoři: MORAVEC Pavel
• Rok publikování: 2005
• Druh: Článek ve sborníku
• Konference: 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/memics05/
• Obor: Informatika
• Klíčová slova: model checking; partial order reduction; ample sets
• Popis: Článek navrhuje novou metodu použití techniky partial order reduction v situacích, kdy standardní postup selže kvůli vyšší závislosti v modelu.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy