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

available in:   HTML (28 kB) PDF (45 kB) PS (28 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
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