| Sumario: | 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 initiated by Tony Hoare and called on the computer science community to develop an automated, integrated toolset that developers can use to establish the correctness of software. The objectives of the program include the establishment of theory of program construction and analysis, the construction of a comprehensive and integrated suite of tools that support verification activities, such as validation, specification, program analysis, program refinement and runtime checking.
|
|---|