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

    [img]
    Preview
    Download (1MB) | Preview
    Official URL: http://dx.doi.org/10.4230/DagRep.4.4.1


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year