Admissible Failure Verification