Pith. sign in

REVIEW

CHC-COMP 2022: Competition Report

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2211.12231 v1 pith:BSTPBG2T submitted 2022-11-22 cs.LO cs.SC

CHC-COMP 2022: Competition Report

Emanuele De Angelis (IASI-CNR , Italy) , Hari Govind V K (University of Waterloo , Canada) This is my paper
classification cs.LO cs.SC
keywords competitionclauseseditionlineararithmeticchc-comphornreport
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.