|
|
|
|
The Verification Grand Challenge
|
|
|
|
|
|
|
|
نویسنده
|
Woodcock Jim ,Banach Richard
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 5 - صفحه:661 -668
|
|
چکیده
|
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
|
|
کلیدواژه
|
Formal Methods ,Verification Grand Challenge
|
|
آدرس
|
University of York, Dept of Computer Science, UK, University of Manchester, School of Computer Science, UK
|
|
پست الکترونیکی
|
banach@cs.man.ac.uk
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|