形式化验证

技术

形式化验证，利用数学和逻辑推演对系统或安全策略进行全局验证的方法，常用于AI系统安全性与可靠性的严谨评估

2 次提及3 个连接首次出现: 2026-04-22最近出现: 2026-05-04

关系图谱

关系 (3)

使用技术 (2)

ClawLess Aletheia

应用于 (1)

相关文章 (2)