Formal Verification Definition