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

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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