> Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale. I don't think that's true at all. I suppose that depends on what

> Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale. I don't think that's true at all. I suppose that depends on what you mean by formal methods and in what context you're concerned about those. Off the top of my head this comes to mind from Microsoft: https://learn.microsoft.com/en-us/windows-hardware/drivers/devtest/static-driver-verifier https://learn.microsoft.com/en-us/windows-hardware/drivers/d...