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