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

    Download (463kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


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