Informace o publikaci
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
| Autoři | |
|---|---|
| Rok publikování | 2002 |
| Druh | Uspořádání workshopu |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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. |
| Související projekty: |