IN HIS VISIT TO INDIA PROF. C. A. R. HOARE REVIEWED THE AREA OF FORMAL PROGRAM VERIFICATION

AN EXTENSION TO HANSEN’S METHOD SUGGESTED BY HIM WAS TO FORMALLY PROVE THE SOFTWARE TO BE CORRECT