JUCS - Journal of Universal Computer Science 13(5): 661-668, doi: 10.3217/jucs-013-05-0661
The Verification Grand Challenge
expand article infoJim Woodcock‡, Richard Banach§
‡ University of York, York, United Kingdom§ Computer Science Dept., Manchester University, Manchester, United Kingdom

Corresponding author: Jim Woodcock ( jim@cs.york.ac.uk )

© Jim Woodcock, Richard Banach.
This article is freely available under the J.UCS Open Content License.
Citation: Woodcock J, Banach R (2007) The Verification Grand Challenge. JUCS - Journal of Universal Computer Science 13(5): 661-668. https://doi.org/10.3217/jucs-013-05-0661
Open Access
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
formal methods, Verification Grand Challenge