Formal methods are best described as the application of a fairly broad number of theoretical computer science fundamentals, significantly logic calculi, formal languages , automata...