Testing Alongside Proofs

Planned Coverage

Compare implementations against the reference model and distinguish test evidence from proofs.

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