Testing distributed systems

127 pointsby Dawny33about 7 years ago

2 comments

hood_syntaxabout 7 years ago

Always neat to see real world stories about using TLA+. Putting the talk on my to watch list.

yoav_hollanderabout 7 years ago

This is a really good list. Thanks.