形式化验证方法