Equivalence-Checking on Infinite-State Systems: Techniques and Results
Abstract
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2005
- DOI:
- 10.48550/arXiv.cs/0505025
- arXiv:
- arXiv:cs/0505025
- Bibcode:
- 2005cs........5025K
- Keywords:
-
- Logic in Computer Science