MURAL - Maynooth University Research Archive Library



    The 1st Verified Software Competition, Extended Experience Report


    Muller, Peter and Shankar, Natarajan and Leavens, Gary T. and Ridge, Tom and Tuerk, Thomas and Klebanov, Vladimir and Ulbrich, Mattias and Weisse, Benjamin and Leino, K. Rustan M. and Chapman, Rod and Monahan, Rosemary and Polikarpova, Nadia and Bronish, Derek and Arthan, Rob and Alkassar, Eyad and Cohen, Ernie and Hillebrand, Mark and Tobies, Stephan and Jacobs, Bart and 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)

    [img] Download (362kB)


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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
    URI:
    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)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads