Studios

The twelve-week teaching schedule: what happens in each studio, what to prepare, and what leaves the room.

The internal collection and URL stay sessions. Set the visible singular and plural names once in src/site-config.ts and use the language your course deserves everywhere readers see it.

Studio: break a toy checker

Hands-on with a deliberately naive alias-analysis pass — find the program it silently gets wrong

Week 2 · 1 March 2027

Studio: annotate a real function in Frama-C

Write ACSL contracts for a small, real C function and get Frama-C's WP plugin to actually discharge the proof

Week 7 · 5 April 2027

Studio: reproduce the CVE triage

In groups, run a second real CVE through the same tool comparison the lecture just demonstrated

Week 11 · 3 May 2027