MURAL - Maynooth University Research Archive Library



    VerifyThis 2015: A program verification competition


    Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary and Tautschnig, Michael (2017) VerifyThis 2015: A program verification competition. International Journal on Software Tools for Technology Transfer, 19 (6). pp. 763-771. ISSN 1433-2779

    [img]
    Preview
    Download (463kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis.

    Item Type: Article
    Keywords: Deductive verification; Program Verification Tools; Competition; VerifyThis;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 11671
    Identification Number: https://doi.org/10.1007/s10009-016-0438-x
    Depositing User: Rosemary Monahan
    Date Deposited: 12 Nov 2019 12:38
    Journal or Publication Title: International Journal on Software Tools for Technology Transfer
    Publisher: Springer
    Refereed: Yes
    URI:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year