Proceedings International Workshop on Verification of Infinite-State Systems
Axel Legay (INRIA/Irisa Rennes)
TL;DR
The proceedings compile research on formal methods and algorithms for verifying systems with infinite states, focusing on automated techniques for complex software and hardware verification.
Contribution
This volume presents the latest research developments in formal verification methods specifically designed for infinite-state systems, advancing automated analysis techniques.
Findings
Development of new algorithms for infinite-state system verification
Application of formal methods to complex software systems
Enhanced automation in hardware verification processes
Abstract
This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International Conference on Concurrency Theory (CONCUR 2009). The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.