KUČERA, Antonín and Richard MAYR. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems. 2002.
Other formats:   BibTeX LaTeX RIS
Basic 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
Original language English
Type of outcome Organization of a workshop
Field of Study 10000 1. Natural Sciences
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
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 Equivalence-Checking, formal verification, infinite-state systems, Model-Checking
Tags International impact
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:26.
Abstract
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)Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
PrintDisplayed: 28/3/2024 12:01