Use of Formal Methods at Amazon Web Services by Nachi

We meet again after winter break! This time we'll be discussing Amazon's paper on using formal methods for verifying distributed systems.

I'll be doing a short presentation on the paper (and maybe TLA+ and similar tools) prior to the discussion.

You can find an online version of the PDF here:

http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf

To know more about Papers We Love in Gothenburg: checkout our what-is (https://github.com/papers-we-love/gothenburg/blob/master/whatis.md).