> what do they think Google and AWS do Reading the article, it seems they think Google and AWS don't do formal verification of the hypervisor. Since they won

> what do they think Google and AWS do Reading the article, it seems they think Google and AWS don't do formal verification of the hypervisor. Since they won a grant from Amazon to do this (1), I'm going to guess that maybe they're right? (1) https://www.amazon.science/research-awards/recipients/ronghui-gu-2020 https://www.amazon.science/research-awards/recipients/ronghu...