What is Formal Verification?

01-01, CS-550 Formal Verification