[geodel]

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