The paper considers the problem of recognizing solvability (nonemptiness of the solution set) for interval systems of linear algebraic equations. We introduce a quantitative measure of the membership of a point in the solution set, the so-called “recognizing functional” of the solution set. As the result, the decision on solvability of the interval linear systems reduces to global maximization of the recognizing functional. Additionally, the specific value of this maximum and its argument provide us with important quantitative information of the solvability supply or its deficiency, which can used for the correction of the interval system in a desired sense.