AI智能代理与形式方法分析意图、规范和错误

AI·学术

摘要：AutoProver工具结合人工智能代理和形式化方法，用于深入分析软件意图、规范和潜在错误，以提高软件质量和安全性。

来源：原文链接 (新窗口)

← 返回搜罗吧首页

本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。