Informace o publikaci

Partial Order Reduction for State/Event LTL

Název česky Metoda partial order redukce pro State/Event LTL
Autoři

BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2008
Druh Výzkumná zpráva
Fakulta / Pracoviště MU

Fakulta informatiky

Popis Článek představuje novou metodu partial order reduction pro verifikaci vlastností logiky state/event LTL. Jádrem metody je nová definice stuttering ekvivalence, kterou nazýváme state/event stuttering ekvivalence.
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