European Research Network on Formal Proofs
COST action CA20111

EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Deliverable 3

Comparison of the approaches used in the international Software Verification competition SV-COMP and other relevant ones.

SV-Comp comparison in Section 8 compares different tools at SV-Comp based on the verification of safety assertions of different logical complexity
SV-Comp report 2023 report on the SV-Comp by Dirk Beyer
Verification tools inventory, an inventory of software verification tools