第四届验证与程序变换国际研讨会会议录
编程语言
2016-07-08 v1 软件工程
摘要
本卷包含2016年4月2日在荷兰埃因霍温举行的第四届验证与程序变换国际研讨会（VPT 2016）上提交的论文修订版。该研讨会是欧洲软件理论与实践联合会议（ETAPS 2016）的一项活动。VPT研讨会的目的是提供一个论坛，让程序变换领域和程序验证领域的人们能够富有成效地交流思想，并深入理解这两个领域之间的相互作用。最近在这些领域发表的研究论文表明，这种相互作用非常有益，而且确实是双向的。在一个方向上，程序变换领域开发的方法和工具，如部分演绎、部分求值、折叠/展开变换和超编译，都已成功应用于系统验证，特别是无限状态和参数化系统的验证。在另一个方向上，程序验证中开发的方法，如模型检测、抽象解释、SAT和SMT求解以及自动定理证明，已被用于增强程序变换技术，从而使这些技术在实践中更强大和有用。
引用
@article{arxiv.1607.01835,
title = {Proceedings of the Fourth International Workshop on Verification and Program Transformation},
author = {Geoff Hamilton and Alexei Lisitsa and Andrei P. Nemytykh},
journal= {arXiv preprint arXiv:1607.01835},
year = {2016}
}