Proceedings 14th International Workshop on Verification of Infinite-State Systems
Mohamed Faouzi Atig (Uppsala University), Ahmed Rezine (Linkoping, University)
TL;DR
The proceedings compile research on formal methods and algorithms for verifying systems with infinite states, advancing automated verification techniques for complex software and hardware.
Contribution
This volume presents recent developments and research findings in the formal verification of infinite-state systems, fostering progress in automated analysis methods.
Findings
New algorithms for infinite-state system verification
Enhanced formal methods for software and hardware analysis
Case studies demonstrating verification effectiveness
Abstract
This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. 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.