CHC-COMP 2023: Competition Report
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911850444095488 |
|---|---|
| author | De Angelis, Emanuele K, Hari Govind V |
| author_facet | De Angelis, Emanuele K, Hari Govind V |
| contents | CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_14923 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | CHC-COMP 2023: Competition Report De Angelis, Emanuele K, Hari Govind V Logic in Computer Science CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results. |
| title | CHC-COMP 2023: Competition Report |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2404.14923 |