J
2006
Equivalence-Checking on Infinite-State Systems: Techniques and Results
KUČERA, Antonín and Petr JANČAR
Basic information
Original name
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Name in Czech
Automatické ověřování sémantických ekvivalencí na systémech s nekonečně mnoha stavy: techniky a výsledky
Authors
KUČERA, Antonín (203 Czech Republic, guarantor) and Petr JANČAR (203 Czech Republic)
Edition
Theory and practice of logic programming, Cambridge, Cambridge University Press, 2006, 1471-0684
Other information
Type of outcome
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 0.932
RIV identification code
RIV/00216224:14330/06:00016828
Organization unit
Faculty of Informatics
Keywords in English
formal verification; infinite-state systems; equivalence-checking
Tags
International impact, Reviewed
V originále
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).
In Czech
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.
Links
| MSM0021622419, plan (intention) | | Name: Vysoce paralelní a distribuované výpočetní systémy | | Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems |
|
| 1M0545, research and development project | | Name: Institut Teoretické Informatiky | | Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science |
|
Displayed: 19/10/2024 18:50