Formal Verification

正式验证与安全审计。

概述

正式验证用于确保系统行为符合预期。

验证类型

类型	描述	适用场景
符号执行	路径分析	关键逻辑
模型检验	状态验证	并发问题
类型检查	类型安全	API 安全

配置

```json { "security": { "formalVerification": { "enabled": true, "tools": ["symbolic", "model"], "reportLevel": "warning" } } } ```

运行验证

```bash

运行所有验证

openclaw security verify

运行特定验证

openclaw security verify --tool symbolic

生成报告

openclaw security verify --report pdf ```

安全等级

等级	描述
low	基础检查
medium	完整分析
high	深度验证