MURAL - Maynooth University Research Archive Library



    VerifyThis 2019: a program verification competition


    Dross, Claire and Furia, Carlo A and Huisman, Marieke and Monahan, Rosemary and Müller, Peter (2021) VerifyThis 2019: a program verification competition. International Journal on Software Tools for Technology Transfer, 23 (6). pp. 883-893. ISSN 1433-2779

    [img]
    Preview
    Download (430kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties—something that lies beyond the capabilities of fully automatic verification and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned 2 days of work. This report analyzes how the participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect.

    Item Type: Article
    Additional Information: Cite as: Dross, C., Furia, C.A., Huisman, M. et al. VerifyThis 2019: a program verification competition. Int J Softw Tools Technol Transfer 23, 883–893 (2021). https://doi.org/10.1007/s10009-021-00619-x
    Keywords: functional correctness; correctness proofs; program verification; verification competition
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 17475
    Identification Number: https://doi.org/10.1007/s10009-021-00619-x
    Depositing User: Rosemary Monahan
    Date Deposited: 31 Aug 2023 13:16
    Journal or Publication Title: International Journal on Software Tools for Technology Transfer
    Publisher: Springer Berlin Heidelberg
    Refereed: Yes
    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