Part 16 answers: What can real projects teach us?

Public escapes are the most expensive lessons in the industry, already paid for. Each case study here is limited to what is publicly documented and read through the course's questions: what went wrong, why the verification did not catch it, and what changed afterwards.

After this part you can

• Read a public escape through the course's questions.

• Write a post-mortem that leads to concrete changes.

• Connect each escape to the technique that would have caught it.

Lessons

Every lesson in this part is ready. Work through them in order: each one sets up the problem the next one solves.

Related topics

• Course hub

• Previous: Part 15 · Verification in Context

• Next: Part 17 · Capstones