I would not call it formal but we have each of our returns checked by another accountant as a quality control measure. Rarely do we find mistakes but occasionally we do and we find the procedure well worth the time investment.