Amazon Science har lagt till automatiserad slutledning som ett forskningsområde på grund av dess stora inverkan på Amazon Web Services och interna utvecklingsprocesser. Automatiserad slutledning är en metod som använder matematiska tekniker för att analysera program och logiska formler, vilket ofta är betydligt snabbare än uttömmande testning. Artikeln illustrerar med C- och Python-exempel hur verktyg för automatiserad slutledning kan fastställa programegenskaper, som att en funktion alltid returnerar sant eller att en loop alltid terminerar. Trots dess effektivitet och snabba framsteg kommer automatiserad slutledning inte helt att ersätta traditionell testning, men den kan drastiskt minska beroendet av den. Tekniken kan tillämpas på både programkod och konfigurationsartefakter, vilket möjliggör verktyg som IAM Access Analyzer och VPC Reachability Analyzer.