Publishing a paper (in 2025) about formal verification is miles different than implementing it company wide. Anyone who has talked to an Amazonian SWE knows they’re not building their systems like this.

The Amazon way is to quickly grind something out, and build on as many layers of AWS abstractions as possible. They’re famous for the hustle and grind not the stellar engineering acumen of formal verification.