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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00007778" target="_blank" >RIV/00216224:14330/02:00007778 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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 theworkshop 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 modelingand 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ázev v anglickém jazyce

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

Popis výsledku anglicky

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 theworkshop 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 modelingand 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.

Druh

W - Uspořádání workshopu

CEP obor

BD - Teorie informace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2002

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Místo konání akce

Brno, Czech Republic

Stát konání akce

CZ - Česká republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

30

Počet zahraničních účastníků

25

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce