From Well Structured Transition Systems to Program Verification
arXiv:2008.02929 · doi:10.4204/EPTCS.320.3
Abstract
We describe the use of the theory of WSTS for verifying programs.
In Proceedings VPT/HCVS 2020, arXiv:2008.02483
arXiv:2008.02929 · doi:10.4204/EPTCS.320.3
We describe the use of the theory of WSTS for verifying programs.
In Proceedings VPT/HCVS 2020, arXiv:2008.02483