J 2006

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

KUČERA, Antonín a Petr JANČAR

Základní údaje

Originální název

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 (203 Česká republika, garant) a Petr JANČAR (203 Česká republika)

Vydání

Theory and practice of logic programming, Cambridge, Cambridge University Press, 2006, 1471-0684

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.932

Kód RIV

RIV/00216224:14330/06:00016828

Organizační jednotka

Fakulta informatiky

UT WoS

000238143400002

Klíčová slova anglicky

formal verification; infinite-state systems; equivalence-checking

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 30. 11. 2006 23:49, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

ORIG CZ

V originále

The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).

Česky

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.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky