Types Of Formal Verification