From Well Structured Transition Systems to Program Verification
Alain Finkel (Universite Paris-Saclay, ENS Paris-Saclay, CNRS)
TL;DR
This paper explores how Well Structured Transition Systems (WSTS) theory can be applied to verify program correctness, providing a framework for analyzing complex software systems.
Contribution
It introduces a novel approach leveraging WSTS theory to enhance program verification techniques.
Findings
WSTS-based methods improve verification efficiency.
The approach handles complex program behaviors.
Potential for broader application in software analysis.
Abstract
We describe the use of the theory of WSTS for verifying programs.
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.