Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

2021/09/09 by Hossein Hojjat, Bishoksan Kafle · 7 citations
Computer Science · #cs.LO #cs.SE

paper · pdf · doi:10.4204/eptcs.344

published as EPTCS 344, 2021

arxiv created 2021/09/09 · arxiv updated 2021/09/10

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.

Cited by

• An Overview of the HFL Model Checking Project
• Termination Analysis of Programs with Multiphase Control-Flow
• Regular Path Clauses and Their Application in Solving Loops
• Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses
• A Fixed-point Theorem for Horn Formula Equations
• Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
• Competition Report: CHC-COMP-21