Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   HTML (28 kB) PDF (45 kB) PS (28 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0661


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