Kiểm nghiệm và hợp thức hóa