Proving properties of a requirement specification or a program condition is a form of testing classified as $\_\_\_\_\_\_\_\_\_\_\_\_$ methods.

Question $19$ options:

a$)$

JUnit

b$)$

informal

c$)$

tokenizing

d$)$

formal