The Generic Model

• formalization
• proofs