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

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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