5 ms·

Testing distributed systems

• deleted 8y ago
  [deleted]
• hood_syntax 8y ago
  Always neat to see real world stories about using TLA+. Putting the talk on my to watch list.
• deleted 8y ago
  [deleted]
• yoav_hollander 8y ago
  This is a really good list. Thanks.