The Verification Grand Challenge

Jim Woodcock (University of York, United Kingdom)

Richard Banach (University of Manchester, United Kingdom)

Abstract: This paper overviews the Verification Grand Challenge, a large scale multinationalintiative designed to significantly increase the interoperability, applicability and uptake of formal development techniques. Results to date are reviewed, and next steps are outlined.

Keywords: Verification Grand Challenge, formal methods

Categories: B.2, D.2.4, F.3.1