/
形式化方法 关键字列表
学术与产业协作为亚马逊客户提供真实世界安全保障
亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访问分析器等服务中，每天处理约10亿次求解调用，为AWS客户提升了安全性、可靠性和持久性。
白皮书
/
亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访问分析器等服务中，每天处理约10亿次求解调用，为AWS客户提升了安全性、可靠性和持久性。
北京第二十六维信息技术有限公司（至顶网）版权所有. 京ICP备15039648号-7
京ICP证161336号
京公网安备 11010802021500号
举报电话：010-62641205-5060 涉未成年人举报专线：010-62641208 举报邮箱：jubao@zhiding.cn
网上有害信息举报专区：https://www.12377.cn
