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í: 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
• 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