Equivalence-Checking on Infinite-State Systems: Techniques and Results
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 | 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 | 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ě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 |
VytisknoutZobrazeno: 6. 10. 2024 08:50