DagRep.4.4.1.pdf
- Filesize: 1.12 MB
- 19 pages
Document
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 4, Issue 4
Volume: Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2014-08-27
Cite AsGet BibTex
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan. Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). In Dagstuhl Reports, Volume 4, Issue 4, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/DagRep.4.4.1
https://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 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 demstrations, hands-on sessions, and a live competition.
Keywords
- Formal Verification
- Deductive Verification
- Automatic Verification
- Theorem Proving
- Model Checking
- Program Analysis
- Competition
- Comparative Eval
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads