形式化验证真的招人吗