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

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Nekonečně stavové souběžné systémy - modely a verifikace Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů