Skip to Main content Skip to Navigation
New interface
Reports (Research report)

VerifyThis 2018: A Program Verification Competition

Abstract : VerifyThis 2018 was a two-day program verification competition which took place on April 14 and 15, 2018 in Thessaloniki, Greece as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2018 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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Andrei Paskevich Connect in order to contact the contributor
Submitted on : Tuesday, January 15, 2019 - 12:43:51 PM
Last modification on : Friday, November 18, 2022 - 10:13:44 AM
Long-term archiving on: : Tuesday, April 16, 2019 - 2:10:56 PM


Files produced by the author(s)


  • HAL Id : hal-01981937, version 1


Marieke Huisman, Rosemary Monahan, Peter Müller, Andrei Paskevich, Gidon Ernst. VerifyThis 2018: A Program Verification Competition. [Research Report] Université Paris-Saclay. 2019. ⟨hal-01981937⟩



Record views


Files downloads