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