ચકાસણી અને તરકટ ઔપચારિક સપ્રમાણ કાર્યવાહી છે.