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 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: 21. 10. 2019 10:51