First Steps in the Verified Software Grand Challenge.

The article discusses the Verified Software Grand Challenge. The verified Software Grand Challenge is an international, long-term research program for achieving a useful body of code that has been formally verified to the highest standards of accuracy and rigor. The Grand Challenge program was initi...

Descripción completa

Detalles Bibliográficos

Publicado en:	Computer (00189162) Vol. 39; no. 10; pp. 57 - 59
Autor principal:	Woocock, Jim
Formato:	Artículo
Publicado:	IEEE Oct2006
Materias:	Computer software Computer training Computer science Computer software industry Computer software development Software architecture Software engineering Computer network protocols Hoare, Tony
Acceso en línea:	Ver este registro en EBSCOhost