The correct answer is option 3.
In Software Engineering Formal methods predominantly use Mathematical notations.