KUČERA, Antonín a Richard MAYR. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems. 2002.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
Autoři KUČERA, Antonín (203 Česká republika, garant) a Richard MAYR (276 Německo).
Vydání 2002.
Další údaje
Originální jazyk angličtina
Typ výsledku Uspořádání workshopu
Obor 10000 1. Natural Sciences
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/02:00007778
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
Štítky Equivalence-Checking, formal verification, infinite-state systems, Model-Checking
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
Anotace
INFINITY 2002, the 4th International Workshop on Verification of Infinite-State Systems was held as a satellite workshop of CONCUR 2002 (the 13th International Conference on Concurrency Theory) in Brno, Czech Republic, on August 24, 2002. The aim of the workshop is to provide a forum for researchers interested in the development of mathematical techniques for the analysis and verification of systems with infinitely many states. The topics of INFINITY 2002 included the following: techniques for modeling and analysis of infinite-state systems, equivalence-checking and model-checking with infinite-state systems, parameterized systems, calculi for mobility and security, finite-state abstractions of infinite-state systems.
Návaznosti
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 29. 3. 2024 06:06