“Formal methods is a field of computer science and mathematics that involves the use of mathematical techniques and tools to specify, develop, and verify software and systems.”

reachability problem

Model checking

Theorem proving