Equivalence-Checking on 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.

Název česky	Automatické ověřování sémantických ekvivalencí na systémech s nekonečně mnoha stavy: techniky a výsledky
Autoři	KUČERA Antonín JANČAR Petr
Rok publikování	2006
Druh	Článek v odborném periodiku
Časopis / Zdroj	Theory and practice of logic programming
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	formal verification; infinite-state systems; equivalence-checking
Popis	V článku jsou prezentovány vybrané důkazové techniky, které byly v nedávné době objeveny a použity při návrhu algoritmů pro automatické ověřování sémantických ekvivalencí na systémech s nekonečně mnoha stavy. Je také podán přehled existujících výsledků v této oblasti.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy