Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis

2025/10/29 by De Angelis, Emanuele, Frohn, Florian
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE)

paper · doi:10.48550/arxiv.2510.25468

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).

Related

• Proceedings First Workshop on Horn Clauses for Verification and Synthesis
• Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
• Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
• Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
• Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning