Competition on Software Verification and Witness Validation: SV-COMP 2023
نویسندگان
چکیده
Abstract The 12th edition of the Competition on Software Verification (SV-COMP 2023) is again largest overview tools for software verification, evaluating 52 verification systems from 34 teams 10 countries. Besides providing an state art in automatic goal competition to establish standards, provide a platform exchange developers such tools, educate PhD students reproducibility approaches and benchmarking, computing resources that do not have access compute clusters. consisted 23 805 tasks C programs 586 Java programs. specifications include reachability, memory safety, overflows, termination. This year, introduced new track witness validation, where validators witnesses are evaluated with respect their quality.
منابع مشابه
Competition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملSecond Competition on Software Verification - (Summary of SV-COMP 2013)
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency, and as available and participated. The benchmark set of v...
متن کاملSoftware Verification and Verifiable Witnesses - (Report on SV-COMP 2015)
SV-COMP 2015 marks the start of a new epoch of software verification: In the 4th Competition on Software Verification, software verifiers produced for each reported property violation a machine-readable error witness in a common exchange format (so far restricted to reachability properties of sequential programs without recursion). Error paths were reported previously, but always in different, ...
متن کاملReliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016)
The 5th Competition on Software Verification (SV-COMP 2016) continues the tradition of a thorough comparative evaluation of fully-automatic software verifiers. This report presents the results of the competition and includes a special section that describes how SV-COMP ensures that the experiments are reliably executed, precisely measured, and organized such that the results can be reproduced l...
متن کاملSecond Competition on Software Verification
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency. The benchmark set of verification tasks consists of eleve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2023
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-30820-8_29