Every piece of graded work in the course, what it is worth, and when it is due.
Weights should sum to 100.
Retrofit case study
Verify a small, real C function memory-safe with one tool from the semester, and argue why that tool was the right fit
Due 12 April 2027 · Weight: 40%
Comparative verification report
Apply at least two tools from the semester to the same C program and argue which one you'd actually ship
Due 28 May 2027 · Weight: 60%