Program Verification

Encoding Complex Intellectual Procedures in Hypermedia

Hoare Axiomatic Verification: Full Notes

• Directly to the ``Remainder Program'' Proof Example

• Directly to the ``Exponentiation Program'' Proof Example

• Directly to the ``Array Shift Program'' Proof Example





Mills' functional verification method

• Directly to the ``Quotient Program'' Proof Example