Partial Order Reduction for State/Event LTL

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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í 2009
Druh Článek ve sborníku
Konference Proceedings of the International Conference on Integrated Formal Methods (IFM'09)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-00255-7_21
Obor Informatika
Klíčová slova Partial order reduction; state/event LTL; formal verification
Přiložené soubory
Popis Hlavním přínosem článku je představení metody 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.