Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monaham, Rosemary (2014) Evaluating Software Verification Systems: Benchmarks and Competitions. Dagstuhl Reports, 4 (4). pp. 1-19. ISSN 2192-5283

Preview

Download (1MB) | Preview

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 maintain- ers, 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.

Item Type:	Article
Additional Information:	Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0 Unported license.
Keywords:	Formal Verification; Deductive Verification; Automatic Verification; Theorem Proving; Model Checking; Program Analysis; Competition; Comparative Evaluation;
Academic Unit:	Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute
Item ID:	10216
Depositing User:	Rosemary Monahan
Date Deposited:	12 Nov 2018 18:00
Journal or Publication Title:	Dagstuhl Reports
Publisher:	Schloss Dagstuhl
Refereed:	Yes
URI:	http://www.dagstuhl.de/14171
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads