论文标题
会议记录第八届国际验证和计划转型研讨会以及有关验证和综合的Horn条款的第七届研讨会
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
论文作者
论文摘要
The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio Proietti （iasi-cnr）等。这些被邀请的论文之后是在VPT 2020接受的4篇常规论文，HCVS 2020的论文由三篇论文和邀请的论文组成，其中包括第三次有关求解器的竞赛竞赛，以进行约束喇叭条款。 此外，包括Andrzej Skowron（美国华沙），Sophie Renault（EPO）和Moa Johansson（Chalmers U.）在VPT 2020举行的3次邀请会谈的摘要（以HTML格式）。
The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio Proietti (IASI-CNR) et al.. These invited papers are followed by 4 regular papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three contributed papers and an invited paper on the third competition of solvers for Constrained Horn Clauses. In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers U.), are included.
