Equivalence-Checking with Infinite-State Systems: Techniques and Results.
|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|
|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).|