Formal Verification Proof Script Outline
1. System Under Verification (SUV) & Proof Goal
2. Assumptions / Initial Axioms
Define environmental or system preconditions that are assumed to be true.
No assumptions added yet (Axioms). Be precise!
3. Proof Step / Lemma Outline
Break down the main proof into manageable sub-goals (Lemmas).
Verification Script Sequence
The sequence of lemmas and proofs will appear here.