自動(dòng)推理工具

從意外發(fā)現(xiàn)到效率革命：亞馬遜云科技大規(guī)模應(yīng)用自動(dòng)推理提升系統(tǒng)效率

編者按：亞馬遜云科技是唯一一家如此大規(guī)模使用自動(dòng)推理的云提供商。隨著越來(lái)越多的人使用自動(dòng)推理工具，這讓我們?cè)谔嵘詣?dòng)推理工具的可用性和可擴(kuò)展性上更容易進(jìn)行大量的投入。我們發(fā)現(xiàn)自動(dòng)推理工具越易于使用，它們的功能就會(huì)變得越強(qiáng)大，同時(shí)自動(dòng)推理工具的采用率也會(huì)變得越高。我們?cè)侥茏C明云基礎(chǔ)設(shè)施的正確性，對(duì)于那些看重安全的客戶而言我們的云就越有吸引力。正如本文所述，通過(guò)自動(dòng)推理，我們不僅能夠提高安全性，還能更快地為客戶提供更高性能的代碼，并最終節(jié)省客戶的成本。