Formal Methods Verification