Document Open Access Logo

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Authors Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.4.4.1.pdf
  • Filesize: 1.12 MB
  • 19 pages

Document Identifiers

Subject Classification

Keywords
  • Formal Verification
  • Deductive Verification
  • Automatic Verification
  • Theorem Proving
  • Model Checking
  • Program Analysis
  • Competition
  • Comparative Eval

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

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.

Cite As Get BibTex

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan. Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). In Dagstuhl Reports, Volume 4, Issue 4, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014) https://doi.org/10.4230/DagRep.4.4.1

Author Details

Dirk Beyer
Marieke Huisman
Vladimir Klebanov
Rosemary Monahan
and all authors of the abstracts in this report
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact