1 paper · 1 filter
Doug Woos, Zachary Tatlock, Michael D. Ernst +1
Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequen…