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