Reading Assignment 5

Due: 23:00 on October 31, 2016 via course dropbox

Holzmann, G. Mars Code (off-campus access)

For this week’s reading, read Holzmann’s article on how the NASA JPL team builds highly reliable software. Write a summary of either all the material, or some subset that you found particularly interesting.