Equivalence-Checking on Infinite-State Systems: Techniques and Results

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

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