Share and Export
Share and Export
Muller, Peter, Shankar, Natarajan, Leavens, Gary T., Ridge, Tom, Tuerk, Thomas, Klebanov, Vladimir, Ulbrich, Mattias, Weisse, Benjamin, Leino, K. Rustan M., Chapman, Rod, Monahan, Rosemary, Polikarpova, Nadia, Bronish, Derek, Arthan, Rob, Alkassar, Eyad, Cohen, Ernie, Hillebrand, Mark, Tobies, Stephan, Jacobs, Bart, Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished)
![[thumbnail of RM_vscomp2010.pdf]](https://mural.maynoothuniversity.ie/style/images/fileicons/application_pdf.png "RM_vscomp2010.pdf")
PDF
RM_vscomp2010.pdf
Download (362kB)
Abstract
We, the organizers and participants, report our experiences
from the 1st Veried Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conference
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | competitions; conferences; assessment; Veried Software Initiative; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 3934 |
| Depositing User: | Rosemary Monahan |
| Date Deposited: | 09 Oct 2012 15:28 |
| Publisher: | FM2011 |
| Refereed: | No |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/3934 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
