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

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