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. © J.UCS.
|Number of pages||7|
|Journal||Journal of Universal Computer Science|
|Publication status||Published - 2007|
- Frormal methods
- Verification grand challenge