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