On hypothesis testing for statistical model checking

Hypothesis testing is an important part of statistical model checking (SMC). It is typically used to verify statements of the form $$p > p_0$$p>p0 or $$p < p_0$$p