The 1st Verified Software Competition: Experience Report
The work
| Title | The 1st Verified Software Competition: Experience Report |
|---|---|
| Authors | Vladimir Klebanov; Peter Müller; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark Hillebrand; Bart Jacobs; K. Rustan M. Leino; Rosemary Monahan; Frank Piessens; Nadia Polikarpova; Tom Ridge; Jan Smans; Stephan Tobies; Thomas Tuerk; Mattias Ulbrich; Benjamin Weiß |
| Type | conference paper |
| Year | 2011 |
| Citekey | klebanov2011verified |
Where it appeared
| Published in | FM 2011: Formal Methods |
|---|---|
| Publisher | Springer |
| Pages | 154--168 |
Identifiers
| DOI | 10.1007/978-3-642-21437-0_14 |
|---|---|
| OpenAlex | W2119929369 |
Access
| Landing page | https://doi.org/10.1007/978-3-642-21437-0_14 |
|---|---|
| Free full text | https://lirias.kuleuven.be/handle/123456789/301172 |
Abstract
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
Copy held
| Kind | PDF, 362.0 kB |
|---|---|
| Retrieved | 2026-08-10 |
| Held | local, for personal reference |
| Where it came from | https://mural.maynoothuniversity.ie/id/eprint/3934/1/RM_vscomp2010.pdf |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Record | reviewed by a person |
| Approved | 2026-08-17 |
Cite it as
@inproceedings{klebanov2011verified,
title = {The 1st Verified Software Competition: Experience Report},
author = {Vladimir Klebanov and Peter Müller and Natarajan Shankar and Gary T. Leavens and Valentin Wüstholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Benjamin Weiß},
year = {2011},
booktitle = {FM 2011: Formal Methods},
pages = {154--168},
publisher = {Springer},
doi = {10.1007/978-3-642-21437-0_14},
url = {https://lirias.kuleuven.be/handle/123456789/301172},
}
This record lives at https://refs.drheap.org/klebanov2011verified/ and will keep doing so.