第八届验证与程序变换国际研讨会及第七届用于验证与综合的 Horn 子句研讨会会议论文集
计算机科学中的逻辑
2020-08-07 v1 编程语言
符号计算
摘要
本论文集包含 Alberto 的主旨论文，随后是 Lorenzo Clemente（华沙大学）、Alain Finkel（巴黎-萨克雷大学）、John Gallagher（罗斯基勒大学及 IMDEA 软件研究所）等人、Neil Jones（哥本哈根大学）等人、Michael Leuschel（海因里希-海涅大学）和 Maurizio Proietti（IASI-CNR）等人撰写的 6 篇特邀论文。这些特邀论文之后是 VPT 2020 录用的 4 篇常规论文，以及 HCVS 2020 的论文（由三篇投稿论文和一篇关于第三届 Constrained Horn Clauses 求解器竞赛的特邀论文组成）。此外，还收录了 Andrzej Skowron（华沙大学）、Sophie Renault（欧洲专利局）和 Moa Johansson（查尔姆斯理工大学）在 VPT 2020 上的 3 篇特邀演讲摘要（HTML 格式）。
引用
@article{arxiv.2008.02483,
title = {Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis},
author = {Laurent Fribourg and Matthias Heizmann},
journal= {arXiv preprint arXiv:2008.02483},
year = {2020}
}