2 ms·

As far as I know, formal methods are used in system design. AWS build some of it's services with their help.