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

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

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
StatePublished - 27 Aug 2014

Fingerprint

Technical presentations
Demonstrations

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, Vol. 4, No. 4, 27.08.2014, p. 1-19.

Research output: ScientificArticle

@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",
doi = "10.4230/DagRep.4.4.1",
volume = "4",
pages = "1--19",
journal = "Dagstuhl reports",
issn = "2192-5283",
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: ScientificArticle

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

T2 - Dagstuhl reports

JF - Dagstuhl reports

SN - 2192-5283

IS - 4

ER -