Publication details
Equivalence-Checking on Infinite-State Systems: Techniques and Results
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Periodical |
| Magazine / Source | Theory and practice of logic programming |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | formal verification; infinite-state systems; equivalence-checking |
| Description | 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). |
| Related projects: |