The 2nd Verified Software Competition: Experience Report
Résumé
We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8-10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.
Nous présentons un compte-rendu sur la deuxième compétition de vérification de logiciel. Elle a été organisée par les trois auteurs sur une période de 48 heures le 8-10 novembre 2011. Ce papier décrit la compétition, présente les cinq problèmes qui ont été proposés aux participants et fait un revue des solutions soumises par les 29 équipes qui sont entrées dans la compétition.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...