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
• www: FIMU Technical Reports URL
• 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

• 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