Gerard Holzmann, senior research scientist at NASA’s Jet Propulsion Laboratory, describes creating the software for the Curiosity rover in this video accompaniment to “Mars Rover,” his article in the February 2014 Communications of the ACM (cacm.acm.org/magazines/2014/2/171689).
