KUČERA, Antonín and 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. p. 41-73. ISBN 3-540-00145-X.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Equivalence-Checking with Infinite-State Systems: Techniques and Results.
Authors KUČERA, Antonín (203 Czech Republic, guarantor) and Petr JANČAR (203 Czech Republic).
W.I. Grosky, F. Plášil (Eds.).
Edition Berlin, Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), p. 41-73, 2002.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 20206 Computer hardware and architecture
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/02:00006714
Organization unit Faculty of Informatics
ISBN 3-540-00145-X
Keywords in English infinite-state systems; equivalence-checking
Tags Equivalence-Checking, infinite-state systems
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Abstract
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).
Links
GA201/00/0400, research and development projectName: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Standard Projects
GA201/00/1023, research and development projectName: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Czech Science Foundation, Standard Projects
MSM 143300001, plan (intention)Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
PrintDisplayed: 6/6/2020 06:04