Past Meetup

Use of Formal Methods at Amazon Web Services by Nachi

This Meetup is past

17 people went

Chalmers University of Technology

Room 3364 (Conference room), EDIT Building · Gothenburg

How to find us

Entrance from Hörsalsvägen (between 9 and 11)

Location image of event venue

Details

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).