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
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
