6 research outputs found
CHC-COMP 2022: Competition Report
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.Comment: In Proceedings HCVS/VPT 2022, arXiv:2211.10675. arXiv admin note:
text overlap with arXiv:2109.04635, arXiv:2008.02939 by other author
Logical Characterization of Coherent Uninterpreted Programs
277859European Research CouncilUnited States-Israel Binational Science Foundation (BSF)Israeli Science Foundation (ISF