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

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

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

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