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

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Research output: Contribution to journalArticleAcademic

38 Downloads (Pure)

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 demonstrations, hands-on sessions, and a live competition.
Original languageUndefined
Pages (from-to)1-19
Number of pages19
JournalDagstuhl reports
Volume4
Issue number4
DOIs
Publication statusPublished - 27 Aug 2014

Keywords

  • EC Grant Agreement nr.: FP7/258405
  • EC Grant Agreement nr.: FP7/2007-2013
  • IR-94671
  • EWI-25717
  • METIS-309891
  • EC Grant Agreement nr.: FP7/287767

Cite this

Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary. / Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). In: Dagstuhl reports. 2014 ; Vol. 4, No. 4. pp. 1-19.
@article{6de68d59f2a1489481c343f2d4c40494,
title = "Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)",
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 demonstrations, hands-on sessions, and a live competition.",
keywords = "EC Grant Agreement nr.: FP7/258405, EC Grant Agreement nr.: FP7/2007-2013, IR-94671, EWI-25717, METIS-309891, EC Grant Agreement nr.: FP7/287767",
author = "Dirk Beyer and Marieke Huisman and Vladimir Klebanov and Rosemary Monahan",
note = "eemcs-eprint-25717",
year = "2014",
month = "8",
day = "27",
doi = "10.4230/DagRep.4.4.1",
language = "Undefined",
volume = "4",
pages = "1--19",
journal = "Dagstuhl reports",
issn = "2192-5283",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
number = "4",

}

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). / Beyer, Dirk; Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary.

In: Dagstuhl reports, Vol. 4, No. 4, 27.08.2014, p. 1-19.

Research output: Contribution to journalArticleAcademic

TY - JOUR

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

AU - Beyer, Dirk

AU - Huisman, Marieke

AU - Klebanov, Vladimir

AU - Monahan, Rosemary

N1 - eemcs-eprint-25717

PY - 2014/8/27

Y1 - 2014/8/27

N2 - 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 demonstrations, hands-on sessions, and a live competition.

AB - 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 demonstrations, hands-on sessions, and a live competition.

KW - EC Grant Agreement nr.: FP7/258405

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - IR-94671

KW - EWI-25717

KW - METIS-309891

KW - EC Grant Agreement nr.: FP7/287767

U2 - 10.4230/DagRep.4.4.1

DO - 10.4230/DagRep.4.4.1

M3 - Article

VL - 4

SP - 1

EP - 19

JO - Dagstuhl reports

JF - Dagstuhl reports

SN - 2192-5283

IS - 4

ER -