2 ms·How Amazon Web Services Uses Formal Methods [pdf]9 points by amenghra 11y agoamenghra 11y agohttp://tla2012.loria.fr/contributed/newcombe-slides.pdf http://tla2012.loria.fr/contributed/newcombe-slides.pdf is actually much more interesting.