文章基本信息

标题：The Verification Grand Challenge
作者：Jim Woodcock ; Richard Banach
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2007
卷号：13
期号：5
页码：661-668
出版社：Graz University of Technology and Know-Center
摘要：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.