VerifyThis 2015: A program verification competition

Marieke Huisman*, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

*Corresponding author for this work

    Research output: Contribution to journalArticleAcademicpeer-review

    6 Citations (Scopus)
    124 Downloads (Pure)


    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.
    Original languageEnglish
    Pages (from-to)763–771
    Number of pages9
    JournalInternational journal on software tools for technology transfer
    Issue number6
    Publication statusPublished - Oct 2016


    • Deductive verification
    • Program verification tools
    • Competition
    • VerifyThis


    Dive into the research topics of 'VerifyThis 2015: A program verification competition'. Together they form a unique fingerprint.

    Cite this