INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Workshop |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |