Marcus Gerhold

Reproduction Report for SV-COMP 2023

2023 · arXiv (Cornell University)

The Competition on Software Verification (SV-COMP) is a large computational experiment benchmarking many different software verification tools on a vast collection of C and Java benchmarks. Such experimental research should be reproducible by researchers independent …