아마존 과학자와 스탠포드 연구진의 협력은 오픈소스 도구 cvc5 개발로 이어졌습니다. cvc5는 매일 약 10억 건의 자동 추론 검사를 AWS에서 수행하며 보안 강화에 기여합니다. 이 협력은 학계와 산업계의 연계를 통해 실질적인 보안 솔루션을 제공하는 좋은 사례입니다.