Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912676220764160 |
|---|---|
| author | De Angelis, Emanuele Frohn, Florian |
| author_facet | De Angelis, Emanuele Frohn, Florian |
| contents | 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). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_25468 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis De Angelis, Emanuele Frohn, Florian Logic in Computer Science Programming Languages Software Engineering 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). |
| title | Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis |
| topic | Logic in Computer Science Programming Languages Software Engineering |
| url | https://arxiv.org/abs/2510.25468 |