Abstract
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. Topics: Techniques for modeling and analysis of infinite-state systems; Equivalence-checking and model-checking with infinite-state systems; Parameterized systems; Probabilistic and timed systems; Calculi for mobility and security; Finite-state abstractions of infinite-state systems; Data structures for infinite state spaces;
| Original language | English |
|---|---|
| Title of host publication | 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) |
| Number of pages | 70 |
| Publisher | BRICS |
| Publication date | 2005 |
| Edition | NS-05-4 |
| Pages | 1-70 |
| Publication status | Published - 2005 |
| Event | 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) - San Francisco, United States Duration: 27 Aug 2005 → 27 Aug 2005 Conference number: 7 |
Conference
| Conference | 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) |
|---|---|
| Number | 7 |
| Country/Territory | United States |
| City | San Francisco |
| Period | 27/08/2005 → 27/08/2005 |