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

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan
Year of publication	2007
Type	Appeared in Conference without Proceedings
MU Faculty or unit	Faculty of Informatics
Citation
Description	The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Institute for Theoretical Computer Science Highly Parallel and Distributed Computing Systems