从良结构转移系统到程序验证
计算机科学中的逻辑
2020-08-10 v1 形式语言与自动机理论
摘要
我们描述了利用 WSTS（良结构转移系统）理论来验证程序。
引用
@article{arxiv.2008.02929,
title = {From Well Structured Transition Systems to Program Verification},
author = {Alain Finkel},
journal= {arXiv preprint arXiv:2008.02929},
year = {2020}
}
备注
In Proceedings VPT/HCVS 2020, arXiv:2008.02483