Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
arXiv:2109.03988v1
Originality Synthesis-oriented
AI Analysis
This is an incremental compilation of existing research for the verification and synthesis community.
This paper compiles the proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis, focusing on research in verification and synthesis methods, but it does not present specific results or numbers as it is a collection of workshop papers.
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.