The Verification Grand Challenge
Дата
Авторы
Woodcock,Jim
Banach,Richard
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
formal methods , Verification Grand Challenge