MURAL - Maynooth University Research Archive Library



    Evaluating Software Verification Systems: Benchmarks and Competitions


    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

    [thumbnail of RM-Evaluating-2014.pdf]
    Preview
    Text
    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)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads