From Well Structured Transition Systems to Program Verification

Alain Finkel
(Universite Paris-Saclay, ENS Paris-Saclay, CNRS)

We describe the use of the theory of WSTS for verifying programs.

In Laurent Fribourg and Matthias Heizmann: Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS 2020), Dublin, Ireland, 25-26th April 2020, Electronic Proceedings in Theoretical Computer Science 320, pp. 44–49.
Published: 7th August 2020.
ArXived at: https://dx.doi.org/10.4204/EPTCS.320.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org