Equivalence-Checking with Infinite-State Systems: Techniques and Results.

• Authors: KUČERA Antonín; JANČAR Petr
• Year of publication: 2002
• Type: Article in Proceedings
• Conference: Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002)
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: infinite-state systems; equivalence-checking
• Description: The paper presents an overview of techniques and results for equivalence-checking with infinite-state systems. The selection of presented techniques reflects the authors' view on recent development in the area; the overview of existing results should be up-to-date (as of August 2002).

Related projects

• Infinite state concurrent systems - models and verification
• Algorithms and tools for practical verification of concurrent systems.
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing