Redirecting to Formal verification