How academic collaboration delivers real-world security to Amazon customers
Amazon and Stanford University researchers have collaborated to develop cvc5, an open-source automated reasoning tool that now powers approximately one billion daily verification checks across AWS services. The tool uses satisfiability modulo theory (SMT) to detect logical errors in code and is deployed in AWS features like Automated Reasoning checks in Amazon Bedrock and Identity and Access Management Access Analyzer to enhance security and reliability for customers.





















