Homework: Reading questions
Submit two items to the submission website (see link in the navigation bar at the
top of the page):
- Submit your own question about the paper (e.g., what you find most
confusing about the paper or the paper's general context/problem), before
lecture (i.e., 1pm). You cannot use the question below. To the extent
possible, during lecture we will try to answer questions submitted
beforehand.
- Submit your answer for the question below, before the beginning of the lecture.
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?
