Formal Methods Approach

Constructing a mathematical model of the computer program, hardware, or system concerned, and then using calculation to determine whether the model satisfies desired properties.

${\huge\cal{M} \vdash \cal{P}}$

• Model using ``formal language'' (logic)
• Calculation ($\huge\vdash$) is ``formal deduction'' (proof)