CS 468Program Verification
- Faculty
- Mathematics
- Offered
- Winter
- Credit
- 0.5
- Last listed
- 1988–89
No longer offered. It’s in Waterloo’s scanned calendars from 1976–77 to 1988–89; the 1995–96 to 2023–24 calendars are on ucalendar.
Methods of program verification. Implications for structured programming. Inductive reasoning about recursive programs and recursively defined data structures.
As printed in the 1976–77 to 1988–89 calendars, read by OCR; the scanned page is the original.
Requirements, as last listed
Prereq: CS 360 and fourth-year standing.
Check it elsewhere
In the scanned calendars
How it read in each calendar from 1976–77 to 1988–89, newest first. The text is OCR of the scanned pages; years whose wording matches are shown once, from the clearest scan. Each year links to its page on uwloo and to that page of the scanned PDF.
1976–77 to 1988–89 13 calendars
Methods of program verification. Implications for structured programming. Inductive reasoning about recursive programs and recursively defined data structures.
Prereq: CS 360 and fourth-year standing.
Offered Winter · 3 class hours a week · 0.5 credit