NASA Formal Methods


Since its dramatic landing on Mars on the night of Aug 5, 2012, the Curiosity Rover has been busy exploring Gale crater, looking for evidence of past habitable environments. To accomplish its ambitious scientific goal, Curosity is armed with a suite of sophisticated instruments, including cameras capable of 720p high definition stereo video, a gigawatt… (More)
DOI: 10.1007/978-3-642-38088-4


  • Presentations referencing similar topics