CS 260r 2017 L15: An Empirical Study on the Correctness of Formally Verified Distributed Systems (3/22)
Which of the bugs listed in Figure 3 could be fixed by using a TCP transport shim rather than a UDP transport shim?
What properties would the TCP shim need to have to actually fix those bugs?
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.
Terms of Service