形式化验证

生成项目本地技能，利用适配的验证工具对高成本、低测试覆盖的代码进行形式化验证。适用于并发、状态机或不安全代码等场景。