Equivalence-Checking with Infinite-State Systems: Techniques and Results.
| Autoři | |
|---|---|
| Rok publikování | 2002 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Počítačový hardware a software |
| Klíčová slova | infinite-state systems; equivalence-checking |
| Popis | 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). |
| Související projekty: |