VerifyThis 2018: A Program Verification Competition - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2019

VerifyThis 2018: A Program Verification Competition

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
sttt-summary.pdf (322.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Andrei Paskevich  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01981937

Soumis le : mardi 15 janvier 2019-12:43:51

Dernière modification le : jeudi 28 mars 2024-16:35:55

Archivage à long terme le : mardi 16 avril 2019-14:10:56

Télécharger pour visualiser

Dates et versions

hal-01981937 , version 1 (15-01-2019)

Identifiants

  • HAL Id : hal-01981937 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS LARA UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
282 Consultations
298 Téléchargements

Partager

More