On Decidability of LTL+Past Model Checking for Process Rewrite Systems

• Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
• Autoři: KŘETÍNSKÝ Mojmír; ŘEHÁK Vojtěch; STREJČEK Jan
• Rok publikování: 2007
• Druh: Další prezentace na konferencích
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy