Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Emanuele De Angelis (CNR-IASI, Italy), Florian Frohn (RWTH Aachen, Germany)
TL;DR
This volume compiles the post-proceedings of HCVS 2025, a workshop focused on Horn clauses for verification and synthesis, held alongside CAV 2025, highlighting recent research developments in the field.
Contribution
It presents the latest research and discussions from HCVS 2025, advancing the understanding of Horn clauses in verification and synthesis contexts.
Findings
Collection of recent research papers
New techniques for Horn clause solving
Insights into verification and synthesis methods
Abstract
This volume contains the post-proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025), which took place in Zagreb, Croatia, on July 22, 2025, as affiliated workshop of the 37th International Conference on Computer Aided Verification (CAV 2025).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.