Learn more about Security on AWS at – https://amzn.to/2THUfre.
An introduction to automated reasoning and how it works. Automated reasoning at AWS uses mathematical based logic to reason about the correctness, availability, security, and compliance of AWS infrastructure and services. AWS’s provable security initiative refers to a collection of automated reasoning tools for customers and developers to help provide higher security assurance.
Publisher: Amazon Web Services
You can watch this video also at the source.