Peisong Huang

• An overview of formal program proving and the correctness of Ada programs