Advances in Automatic Software Verification: SV-COMP 2020
Dirk Beyer
Abstract
Abstract This report describes the 2020 Competition on Software Verification (SV-COMP), the 9 $$^{\text {th}}$$ edition of a series of comparative evaluations of fully automatic software verifiers for C and Java programs. The competition provides a snapshot of the current state of the art in the area, and has a strong focus on replicability of its results. The competition was based on 11 052 verification tasks for C programs and 416 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2020 had 28 participating verification systems from 11 countries.
Topics & Concepts
Computer scienceJavaSoftware verificationProgramming languageReachabilitySoftwareSoftware engineeringFunctional verificationModel checkingFormal verificationSoftware systemTheoretical computer scienceSoftware constructionSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification