Detailed Information on Publication Record
2002
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
KUČERA, Antonín and Richard MAYRBasic information
Original name
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
Authors
KUČERA, Antonín (203 Czech Republic, guarantor) and Richard MAYR (276 Germany)
Edition
2002
Other information
Language
English
Type of outcome
Uspořádání workshopu
Field of Study
10000 1. Natural Sciences
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
RIV identification code
RIV/00216224:14330/02:00007778
Organization unit
Faculty of Informatics
Keywords in English
Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
Tags
International impact
Změněno: 22/11/2006 17:26, prof. RNDr. Antonín Kučera, Ph.D.
Abstract
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.
Links
| MSM 143300001, plan (intention) |
|