Formal Verification: Theorem proving

How many times in the course of a project have you heard of the term Formal Verification? This relatively short on arti…