Result: CHC-COMP 2023: Competition Report

Title:
CHC-COMP 2023: Competition Report
Authors:
De Angelis Emanuele, Hari Govind V. K.
Source:
Electronic Proceedings in Theoretical Computer Science. 402:83-104
Publication Status:
Preprint
Publisher Information:
Open Publishing Association, 2024.
Publication Year:
2024
Subject Terms:
Constraint Solving, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Satisfiability Modulo Theories, Constraint Logic Programming, Constrained Horn Clauses, Logic in Computer Science (cs.LO)
Document Type:
Academic journal Article<br />Conference object
File Description:
application/pdf
Language:
English
ISSN:
2075-2180
DOI:
10.4204/eptcs.402.10
DOI:
10.48550/arxiv.2404.14923
Access URL:
http://arxiv.org/abs/2404.14923
https://hdl.handle.net/20.500.14243/516881
https://doi.org/10.4204/EPTCS.402.10
Rights:
CC BY
Accession Number:
edsair.doi.dedup.....1f24b355111091a2e7b9d7c2067ec9ba
Database:
OpenAIRE

Further Information

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.
In Proceedings LSFA/HCVS 2023, arXiv:2404.13672