Korn—Software Verification with Horn clauses (Post-Competition Evaluation)

<p>Korn is a software verifier that infers correctness certificates automatically using state-of-the-art Horn-clause solvers, such as Z3 and Eldarica, which are used in a portfolio together with cheap random sampling. The tool is available at https://github.com/gernst/korn.</p> <p>This data documents the post SV-COMP 2023 experiments of Korn.</p>