This report documents the program and the outcomes of Dagstuhl Seminar 14171 "Evaluating Software-Verification Systems: Benchmarks and Competitions". The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly-interactive event, with a wide spectrum of contributions from participants, including talks, tutorials, posters, tool demstrations, hands-on sessions, and a live competition.
@Article{beyer_et_al:DagRep.4.4.1, author = {Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary}, title = {{Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)}}, pages = {1--19}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {4}, editor = {Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.1}, URN = {urn:nbn:de:0030-drops-46157}, doi = {10.4230/DagRep.4.4.1}, annote = {Keywords: Formal Verification, Deductive Verification, Automatic Verification, Theorem Proving, Model Checking, Program Analysis, Competition, Comparative Eval} }
Feedback for Dagstuhl Publishing