AWS Automated Reasoning
6 videos • 412 views • by Amazon Web Services Automated reasoning is the field of computer science that focuses on the automation of formal logical reasoning. Its key goals are to enhance the security, durability, availability, and quality of software systems. This involves techniques such as formal methods, formal verification, scalable code translation, cloud-scale authorization, distributed SAT solving, and neural model checking. Amazon's research in this area applies these advanced reasoning techniques to improve the reliability and assurance of its products and services at a massive scale. By automating and validating critical reasoning tasks, automated reasoning helps Amazon deliver more secure, durable, and high-quality experiences for its customers. Learn more: Technical documentation: https://go.aws/4mqqSqq Github code samples: https://go.aws/4m0grdx Console access: https://go.aws/3H6Gj8r News Blog: https://go.aws/4ldq33p