Formal Verification

Formal-methods tools: proof assistants, model checking, symbolic execution, etc.