Safety, Progress, and Termination

Planned post. This page is a stub.

What each claim establishes and why they differ.

Planned Coverage

Classify example guarantees and identify the assumptions needed for eventual execution.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.