D 2002

Equivalence-Checking with Infinite-State Systems: Techniques and Results.

KUČERA, Antonín a Petr JANČAR

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 17:28, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

V originále

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 VaV
Název: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
GA201/00/1023, projekt VaV
Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
MSM 143300001, záměr
Ná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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů