搜索结果

「形式化验证」共找到 1 条相关资讯

英伟达开源安全运行时OpenShell，为自主AI智能体提供内核级隔离、凭据托管与形式化验证。项目半年多获1万+ Star、1500+次提交，版本进入0.1.x，可让Agent在策…

7.8k 浏览226 点赞