Replacing a Verified Component

Planned post. This page is a stub.

Satisfying an interface contract and transferring existing guarantees.

Planned Coverage

Connect a concrete component to its client contract and identify remaining integration obligations.

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