Abstract
AbstractThe 11th edition of the Competition on Software Verification (SV-COMP 2022) provides the largest ever overview of tools for software verification. The competition is an annual comparative evaluation of fully automatic software verifiers for C and Java programs. The objective is to provide an overview of the state of the art in terms of effectiveness and efficiency of software verification, establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. The competition consisted of 15 648 verification tasks for C programs and 586 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). The new category on data-race detection was introduced as demonstration category. SV-COMP 2022 had 47 participating verification systems from 33 teams from 11 countries.
Publisher
Springer International Publishing
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algorithm Selection for Software Verification using Graph Neural Networks;ACM Transactions on Software Engineering and Methodology;2023-12-11
2. diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions;iFM 2023;2023-11-06
3. CoVeriTeam Service: Verification as a Service;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Sibyl: Improving Software Engineering Tools with SMT Selection;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Stratified Commutativity in Verification Algorithms for Concurrent Programs;Proceedings of the ACM on Programming Languages;2023-01-09