From Well Structured Transition Systems to Program Verification

2020/08/07 by Alain Finkel
Computer Science · #cs.LO #cs.FL

paper · pdf · doi:10.4204/eptcs.320.3

published as EPTCS 320, 2020, pp. 44-49 · In Proceedings VPT/HCVS 2020, arXiv:2008.02483

arxiv created 2020/08/07 · arxiv updated 2020/08/10

Abstract

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

Citations

• Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis