To Do List High-level specifications Architecture (including module secrets) & Design Low-level specification Word lists Code & Contracts Proofs Tests Traceability (including traceability matrix) Security case Review