Informace o publikaci

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

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.

Další info