Testing distributed systems (asatarin.github.io)

127 points by Dawny33 8y ago ↗ HN

4 comments

[ 4.6 ms ] story [ 19.3 ms ] thread

[deleted] 8y ago ↗

(comment deleted)

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

[deleted] 8y ago ↗

(comment deleted)

This is a really good list. Thanks.