[vineyardmike]

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.

[geodel]

Agree. I'd say they may have build 1% systems like this. But impression is whole cloud is built with formal verification

[spwa4]

Goes back quite a bit further: https://www.amazon.science/tag/formal-verification