Other formats:
BibTeX
LaTeX
RIS
@misc{486636, author = {Kučera, Antonín and Mayr, Richard}, keywords = {Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking}, language = {eng}, title = {INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems}, url = {http://www.fi.muni.cz/infinity02/}, year = {2002} }
TY - CONF ID - 486636 AU - Kučera, Antonín - Mayr, Richard PY - 2002 TI - INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems KW - Infinite-State Systems KW - Formal Verification KW - Equivalence-Checking KW - Model-Checking UR - http://www.fi.muni.cz/infinity02/ N2 - 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. ER -
KUČERA, Antonín and Richard MAYR. \textit{INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems}. 2002.
|