Making robust software: the “Mars Code” talk from USENIX HotDep ’12

“At USENIX Hot Topics in System Dependability miniconference, 7 Oct 2012, in Hollywood, California, Dr. Gerard Holzmann of NASA/JPL presented how NASA/JPL writes and tests robust software that survives rigors of interplanetary travel, planetary entry, descent, and landing, and operation in another world.

His methods are state of the art, and if you need to build robust software, take heed…”