From Well Structured Transition Systems to Program Verification

08/07/2020

∙

by   Alain Finkel, et al.

∙

0

∙

share

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