亚马逊自动化推理团队十年：将数学验证从学术研究带入生产系统

亚马逊自动推理团队（ARG）成立于2016年，历经十年将形式化验证技术从学术研究转化为每日处理数十亿次查询的生产系统。其核心工具Tiros和Zelkova演进为IAM访问分析器、Amazon Inspector等面向客户...