From Well Structured Transition Systems to Program Verification
Logic in Computer Science
2020-08-10 v1 Formal Languages and Automata Theory
Abstract
We describe the use of the theory of WSTS for verifying programs.
Keywords
Cite
@article{arxiv.2008.02929,
title = {From Well Structured Transition Systems to Program Verification},
author = {Alain Finkel},
journal= {arXiv preprint arXiv:2008.02929},
year = {2020}
}
Comments
In Proceedings VPT/HCVS 2020, arXiv:2008.02483