Saturation algorithms for model-checking pushdown systems
Arnaud Carayol (LIGM, Universit\'e Paris-Est, CNRS), Matthew Hague, (Department of Computer Science, Royal Holloway University of London)
TL;DR
This paper surveys the saturation method, a technique used for model-checking pushdown systems, providing an overview of its principles and applications.
Contribution
It offers a comprehensive overview of the saturation algorithm, highlighting its significance and usage in verifying pushdown systems.
Findings
Saturation method effectively verifies properties of pushdown systems
The survey summarizes key algorithms and their performance
Identifies open challenges and future directions
Abstract
We present a survey of the saturation method for model-checking pushdown 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.