Check the feasibility of the specification