作为全球最大的云提供商之一，阿里云为全球超过10亿用户提供了高质量的服务。随着每年规模的飞速增长，阿里云基础设施网络面临来自可靠性多方面的诸多挑战。本次报告首先为大家介绍阿里云基础设施网络的可靠性保障技术的现状，以及面临的挑战。然后详细介绍我们如何通过形式化验证技术解决这些挑战，这些核心技术不但以论文形式发表在 SIGCOMM、NSDI 和 SOSP 等国际顶会上，还已经被规模化运用在阿里云的日常运维中，保障阿里云的基础设施网络稳定性
网络
翟恩南
