KUČERA, Antonín a Petr JANČAR. Equivalence-Checking on Infinite-State Systems: Techniques and Results. Theory and practice of logic programming, Cambridge: Cambridge University Press, 2006, roč. 6, č. 3, s. 227-264. ISSN 1471-0684.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Spojené království
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 Equivalence-Checking, formal verification, infinite-state systems
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 30. 11. 2006 23:49.
Anotace
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).
Anotace č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ěrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 21. 10. 2019 14:50