Formal method

Formal method is a type of mathematical or logical system used to show that something is true or false. It's like a set of rules that can be used to solve problems. For example, if you wanted to prove that 2+2=4, you could use a formal method to show that it is true. To do this, you would have to use things like equations, diagrams, and symbols to show that it works.