Korn—Software Verification with Horn clauses (Post-Competition Evaluation)
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7647533
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-02-17
