Module Overview

This week you will review preconditions, postconditions, and other invariants. You will learn how these invariants help you to write correct (or at least safe) programs, and help you to debug incorrect programs.

Course Map

Readings

No readings.

Resources

• slides on preconditions, postconditions, and loop invariants
• slides on system and state invariants

Lessons

1. Preconditions, Postconditions, and Invariants
2. Loop Invariants
3. System and State Invariants

Homework Assignments

• improved prototype of your semester project