MURAL - Maynooth University Research Archive Library

    Evaluating Software Verification Systems: Benchmarks and Competitions

    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

    Download (1MB) | Preview
    Official URL:

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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
    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)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads