形式验证 🤌🤌🤌