![Jak na přijímačky](https://cdn.muni.cz/media/3633702/image_1.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
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: |