2026-07-21T19:26:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4615 2024-03-06T10:26:12Z ddc:004 open_access

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171) Beyer, Dirk Huisman, Marieke Klebanov, Vladimir Monahan, Rosemary Formal Verification Deductive Verification Automatic Verification Theorem Proving Model Checking Program Analysis Competition Comparative Eval 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dirk Beyer and Marieke Huisman and Vladimir Klebanov and Rosemary Monahan 2014 Is Part Of Dagstuhl Reports, Volume 4, Issue 4 (2014) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.4.1 urn:nbn:de:0030-drops-46157 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.1 eng https://creativecommons.org/licenses/by/3.0/legalcode