VerifyThis 2012 - A Program Verification Competition

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

    Research output: Contribution to journalArticleAcademic

    18 Citations (Scopus)
    101 Downloads (Pure)

    Abstract

    VerifyThis 2012 was a two-day verification competition taking place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012 in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.
    Original languageUndefined
    Pages (from-to)647-657
    Number of pages11
    JournalInternational journal on software tools for technology transfer
    Volume17
    Issue number6
    DOIs
    Publication statusPublished - Nov 2015

    Keywords

    • EWI-26462
    • METIS-315036
    • IR-98407

    Cite this