KUČERA, Antonín a Petr JANČAR. Equivalence-Checking with Infinite-State Systems: Techniques and Results. W.I. Grosky, F. Plášil (Eds.). In Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002). Berlin: Springer, 2002. s. 41-73. ISBN 3-540-00145-X.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Equivalence-Checking with Infinite-State Systems: Techniques and Results.
Autoři KUČERA, Antonín (203 Česká republika, garant) a Petr JANČAR (203 Česká republika).
W.I. Grosky, F. Plášil (Eds.).
Vydání Berlin, Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), s. 41-73, 2002.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 20206 Computer hardware and architecture
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/02:00006714
Organizační jednotka Fakulta informatiky
ISBN 3-540-00145-X
Klíčová slova anglicky infinite-state systems; equivalence-checking
Štítky Equivalence-Checking, 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: 22. 11. 2006 17:28.
Anotace
The paper presents an overview of techniques and results for equivalence-checking with infinite-state systems. The selection of presented techniques reflects the authors' view on recent development in the area; the overview of existing results should be up-to-date (as of August 2002).
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Standardní projekty
GA201/00/1023, projekt VaVNázev: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 1. 4. 2020 02:02