The Verification of a Distributed System
Caitie McCaffrey
Today’s talk is from one of my favorite speakers on distributed systems, Caitie McCaffrey. During the talk, Caitie delivers a great overview of the various methods for testing and verifying distributed…