← Writing

Software Verification – Upcoming Topic (see Canvas Modules)

Placeholder draft for a later lecture; the exact topic and structure will be filled in once the corresponding Canvas module is available.

January 30, 2026 1 min read By Scott Weeden software-verificationtbd

Software Verification – Upcoming Topic (see Canvas Modules)

[Stub] Reserved slot for a later lecture post; finalize once Canvas lists the specific lecture notes and topic.

Topics

• [To be filled in from Canvas module title and lecture notes]

Reading and Preparation

[Stub] Link to the corresponding Canvas module when published.