VerifyThis 2017: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Wojciech Mostowski, Mattias Ulbrich

    Research output: Book/ReportReportProfessional

    133 Downloads (Pure)


    VerifyThis 2017 was a two-day program verification competition which took place from April 22-23rd, 2017 in Uppsala, Sweden as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2017 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
    Original languageEnglish
    Place of PublicationKarlsruhe
    PublisherKarlsruhe Institute of Technology
    Publication statusPublished - 2017

    Publication series

    NameKarlsruhe Reports in Informatics
    PublisherKarlsruhe Institute of Technology
    ISSN (Print)2190-4782


    • VerifyThis
    • Program verification


    Dive into the research topics of 'VerifyThis 2017: A Program Verification Competition'. Together they form a unique fingerprint.

    Cite this