Proceedings 12th International Workshop on Verification of Infinite-State Systems
Yu-Fang Chen (Academia Sinica, Taiwan), Ahmed Rezine (Uppsala, University, Sweden)
TL;DR
This paper introduces the 12th INFINITY workshop, focusing on formal methods and algorithms for verifying systems with infinite states, crucial for ensuring correctness in complex software and hardware.
Contribution
It provides a dedicated forum for researchers to share advances in formal verification techniques for infinite-state systems.
Findings
Development of new algorithms for infinite-state system analysis
Application of formal methods to real-world hardware verification
Enhanced automation in software verification processes
Abstract
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.