Cover Image
QR Code

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...

Full description

Published in:Computer (00189162) Vol. 39; no. 10; pp. 57 - 59
Main Author: Woocock, Jim
Format: Article
Published: IEEE Oct2006
Subjects:
Computer software
Computer training
Computer science
Computer software industry
Computer software development
Software architecture
Software engineering
Computer network protocols
Hoare, Tony
Online Access:View this record in EBSCOhost