Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

TL;DR

This collection presents recent research and discussions from the 8th Workshop on Horn Clauses for Verification and Synthesis, focusing on advances in verification and synthesis techniques using Horn clauses.

Contribution

It compiles the latest developments and research papers from the workshop, highlighting new methods and applications in Horn clause-based verification and synthesis.

Findings

Introduction of new Horn clause solving techniques

Application of Horn clauses in system verification

Enhanced synthesis methods using Horn clauses

Abstract

This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS.