Program Verification

Encoding Complex Intellectual Procedures in Hypermedia

Hoare Axiomatic Verification: Full Notes

• "Remainder Program" Proof Example
• "Exponentiation Program" Proof Example
• "Array Shift Program" Proof Example




Mills' functional verification method

• "Quotient Program" Proof Example