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

Emanuele De Angelis, Florian Frohn

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…