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

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. This data documents the post SV-COMP 2023 experiments of Korn.Korn是一款软件验证器（software verifier），它借助当前顶尖的Horn子句求解器（Horn-clause solvers）自动推导正确性证书，这类求解器包括Z3与Eldarica，工具将其与低成本随机采样结合构建算法组合。该工具的开源地址为https://github.com/gernst/korn。本数据集记录了Korn在2023届软件验证竞赛（Software Verification Competition，SV-COMP）结束后的相关实验。