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.
| Original language | English |
|---|---|
| Pages (from-to) | 36-49 |
| Number of pages | 14 |
| Journal | CEUR Workshop Proceedings |
| Volume | 873 |
| Publication status | Published - 1 Dec 2012 |
| Externally published | Yes |
| Event | 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 - Manchester, United Kingdom Duration: 30 Jun 2012 → 30 Jun 2012 |
Fingerprint
Dive into the research topics of 'The 2nd verified software competition: Experience report'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver