The verification grand challenge

Jim Woodcock, Richard Banach

    Research output: Contribution to journalArticlepeer-review


    This paper overviews the Verification Grand Challenge, a large scale multinational intiative designed to significantly increase the interoperability, applicability and uptake of formal development techniques. Results to date are reviewed, and next steps are outlined. © J.UCS.
    Original languageEnglish
    Pages (from-to)661-668
    Number of pages7
    JournalJournal of Universal Computer Science
    Issue number5
    Publication statusPublished - 2007


    • Frormal methods
    • Verification grand challenge


    Dive into the research topics of 'The verification grand challenge'. Together they form a unique fingerprint.

    Cite this