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.
提供机构：
Zenodo创建时间：
2023-02-16
