The 2nd Verified Software Competition: Experience Report

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00798777
Contributor : Andrei Paskevich <>
Submitted on : Sunday, March 10, 2013 - 4:00:36 PM
Last modification on : Thursday, October 3, 2019 - 2:04:03 PM
Long-term archiving on : Sunday, April 2, 2017 - 10:51:29 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00798777, version 1

Collections

Citation

Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump. The 2nd Verified Software Competition: Experience Report. COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st Intl. Workshop, Jun 2012, Manchester, United Kingdom. pp.36-49. ⟨hal-00798777⟩

Share

Metrics

Record views

705

Files downloads

517