Bezchybná kontrola správnosti