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	2009-IFM.pdf
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:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy