Weeks Of Debugging Can Save You Hours of TLA+

Markus Kuppe, Principal Research Software Development Engineer, from Microsoft Research will be giving us an introduction to TLA+. TLA+, which is used by Amazon, Microsoft, Google, Facebook and other technology firms, is a tool to allow an engineer to model the dynamic behavior of a system in order to spot errors which would be very hard to find otherwise.

There are some resources which you can look at if you care to study up on TLA+ in advance:

https://github.com/tlaplus/awesome-tlaplus

https://www.learntla.com

This material is for the talk on the 18th: https://github.com/lemmy/blockingqueue