W 2002

INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

KUČERA, Antonín a Richard MAYR

Základní údaje

Originální název

INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

Autoři

KUČERA, Antonín a Richard MAYR

Vydání

2002

Další údaje

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í

Odkazy

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

Příznaky

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

Anotace

V originále

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ě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ů