Homework: Reading questions

Submit two items to the submission website (see link in the navigation bar at the top of the page):

Answer the following question: The Amazon paper describes the experiences of the individual authors with different systems they built at Amazon and specifying their behavior using TLA+ or PlusCal. What is the value for the authors to write specifications? Why is there a value to specification, even though the authors don't verify that their implementations meets their specifications?

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.

Creative Commons License