Course Notes

1. H. Conrad Cunningham. Feijen’s Table of Cubes Problem. Technical Report UMCIS-1994-05, March 1994, revised August 1996, 10 pages. [pdf slides]

2. H. Conrad Cunningham. A Programmer’s Introduction to Predicate Logic. Technical Report UMCIS–1994–02, February 1994, revised January 1996, 45 pages.

3. H. Conrad Cunningham. Notes on Program Semantics and Derivation (developed 1990-2006), August 2006, 104 pages.

4. Specification Worksheet.

5. Verification Heuristics.

6. Programming Principles.