Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
Emanuele De Angelis (University "G. d'Annunzio" of Chieti-Pescara,, Italy), Grigory Fedyukovich (Princeton University, USA), Nikos Tzevelekos, (Queen Mary University of London, UK), Mattias Ulbrich (Karlsruhe Institute, of Technology, Germany)
TL;DR
This volume compiles proceedings from two workshops focused on Horn clauses, program equivalence, and relational reasoning, highlighting recent advances in verification and synthesis methods discussed at ETAPS.
Contribution
It presents the latest research and developments in Horn clause techniques, program equivalence, and relational reasoning from leading experts in the field.
Findings
New algorithms for program verification
Enhanced methods for relational reasoning
Case studies demonstrating practical applications
Abstract
This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech Republic on 6th and 7th April, respectively, as affiliated workshops of ETAPS.
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.