VerifyThis 2017: A Program Verification Competition

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

    Research output: Book/ReportReportProfessional

    76 Downloads (Pure)

    Abstract

    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
    DOIs
    Publication statusPublished - 2017

    Publication series

    NameKarlsruhe Reports in Informatics
    PublisherKarlsruhe Institute of Technology
    No.2017-10
    ISSN (Print)2190-4782

    Keywords

    • VerifyThis
    • Program verification

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

  • Cite this

    Huisman, M., Monahan, R., Müller, P., Mostowski, W., & Ulbrich, M. (2017). VerifyThis 2017: A Program Verification Competition. (Karlsruhe Reports in Informatics; No. 2017-10). Karlsruhe: Karlsruhe Institute of Technology. https://doi.org/10.5445/ir/1000077160