-
从意外发现到效率革命：亚马逊云科技大规模应用自动推理提升系统效率
编者按：亚马逊云科技是唯一一家如此大规模使用自动推理的云提供商。随着越来越多的人使用自动推理工具，这让我们在提升自动推理工具的可用性和可扩展性上更容易进行大量的投入。我们发现自动推理工具越易于使用，它们的功能就会变得越强大，同时自动推理工具的采用率也会变得越高。我们越能证明云基础设施的正确性，对于那些看重安全的客户而言我们的云就越有吸引力。正如本文所述，通过自动推理，我们不仅能够提高安全性，还能更快地为客户提供更高性能的代码，并最终节省客户的成本。
