Share and Export
Share and Export
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
Available under License Creative Commons Attribution Non-commercial Share Alike.
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: | |
| 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 |
Downloads
Downloads per month over past year
Origin of downloads
Repository Staff Only (login required)
- Item control page
