Equivalence-Checking with Infinite-State Systems: Techniques and Results.

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

KUČERA Antonín JANČAR Petr

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.