9. Formal Verification