§ Formal Semantic Underpinnings § Model-Based § Axiom-Based