MURAL - Maynooth University Research Archive Library



    VerifyThis 2012: A Program Verification Competition


    Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary (2015) VerifyThis 2012: A Program Verification Competition. International Journal on Software Tools for Technology Transfer, 17. pp. 647-657. ISSN 1433-2779

    [img]
    Preview
    Download (508kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    VerifyThis 2012 was a 2-day verification competition that took place as part of the International Symposium on Formal Methods (FM 2012) on August 30–31, 2012, in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.

    Item Type: Article
    Keywords: Deductive verification; Competition; VerifyThis; Program verification tools;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 12375
    Identification Number: https://doi.org/10.1007/s10009-015-0396-8
    Depositing User: Rosemary Monahan
    Date Deposited: 07 Feb 2020 16:24
    Journal or Publication Title: International Journal on Software Tools for Technology Transfer
    Publisher: Springer
    Refereed: Yes
    URI:
    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

    Downloads per month over past year

    Origin of downloads