Title of article
The Verification Grand Challenge
Author/Authors
Woodcock, Jim University of York - Dept of Computer Science, UK , Banach, Richard University of Manchester - School of Computer Science, UK
From page
661
To page
668
Abstract
This paper overviews the Verification Grand Challenge, a large scale multinational intiative 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
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574605
Link To Document