VerifyThis 2016: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Erik Poll

    Research output: Book/ReportReportProfessional

    57 Downloads (Pure)

    Abstract

    VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages6
    Publication statusPublished - Jun 2016

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-16-07
    ISSN (Print)1381-3625

    Keywords

    • Program Verification
    • EWI-27060
    • IR-100549
    • Competition
    • METIS-317220

    Cite this

    Huisman, M., Monahan, R., Müller, P., & Poll, E. (2016). VerifyThis 2016: A Program Verification Competition. (CTIT Technical Report Series; No. TR-CTIT-16-07). Enschede: Centre for Telematics and Information Technology (CTIT).