Testing distributed systems

127 points by Dawny33 8 years ago | 2 comments

hood_syntax 8 years ago |

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

yoav_hollander 8 years ago |

This is a really good list. Thanks.

hood_syntax 8 years ago |

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

yoav_hollander 8 years ago |

This is a really good list. Thanks.