Beyer, Dirk, Huisman, Marieke, Klebanov, Vladimir and Monaham, Rosemary (2014) Evaluating Software Verification Systems: Benchmarks and Competitions. Dagstuhl Reports, 4 (4). pp. 1-19. ISSN 2192-5283
Preview
RM-Evaluating-2014.pdf
Download (1MB) | Preview
Official URL: http://dx.doi.org/10.4230/DagRep.4.4.1
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 |
Related URLs: | |
URI: | https://mu.eprints-hosting.org/id/eprint/10216 |
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)
Downloads
Downloads per month over past year