Published February 16, 2023
| Version v1
Dataset
Open
Korn—Software Verification with Horn clauses (Post-Competition Evaluation)
Description
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.
Files
index.md
Files
(4.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:015a0ea044a573730ee7d42fbcb3e56b
|
4.1 kB | Download |
|
md5:c041724474b9c6049a17c24b0ec79be5
|
266 Bytes | Preview Download |
|
md5:82ffc05531c887ad812b896993ce4d0e
|
5.7 kB | Download |
|
md5:960eaa6b5284473cc64d0b73d9e78254
|
97.7 kB | Download |
|
md5:2c8ca433df4a11c6efa5bb8167218c3f
|
10.9 kB | Download |
|
md5:a26ccf57868bb4dc9df0800ccf324f4c
|
18.7 kB | Download |
|
md5:84c9357674a59c55c24a318b517fd6ca
|
123.9 kB | Download |
|
md5:ce44212584356622b5865a8005e1d985
|
5.7 kB | Download |
|
md5:322c0e9a39718d4d847decff591add58
|
98.7 kB | Download |
|
md5:abf3e9a12dcf6d5e0f3bcb7acfea5614
|
10.9 kB | Download |
|
md5:4b639a9559437e93ea75cdda7a155857
|
17.9 kB | Download |
|
md5:6d5873af9e77444f7d3203be53fba74a
|
123.9 kB | Download |
|
md5:01af2e5342a61dc0b4b1ec76b5d4cca6
|
143.0 kB | Preview Download |
|
md5:56f162d93d3f8879873fb4136958d980
|
1.9 MB | Download |
|
md5:ee32a855808d7770f012ef9aded46d6f
|
142.9 kB | Preview Download |
|
md5:e6416959003998e72124be58fcb31d5b
|
1.9 MB | Download |