Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

TL;DR

This collection of workshop proceedings presents recent advances in verification, program transformation, and Horn clause-based verification and synthesis, including invited talks, contributed papers, and solver competitions.

Contribution

It compiles diverse recent research, invited talks, and solver competitions in verification and program transformation, highlighting ongoing developments in the field.

Findings

Includes keynotes and invited papers from leading researchers.

Features solver competitions for Constrained Horn Clauses.

Provides a comprehensive overview of recent advances in verification.

Abstract

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.