Ankush Desai – Communications of the ACM

Practice May 29 2025

A survey of the portfolio of formal methods used across AWS to deliver complex services with high confidence in assuring systems correctness.

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.