I posted a write-up of Dr. Holzmann's talk "Mars Code" which he gave at USENIX Hot Topics in System Dependability '12 (http://www.verticalsysadmin.com/making_ro

I posted a write-up of Dr. Holzmann's talk "Mars Code" which he gave at USENIX Hot Topics in System Dependability '12 (http://www.verticalsysadmin.com/making_robust_software/ http://www.verticalsysadmin.com/making_robust_software/), about how NASA/JPL writes and tests software that survives the rigors of interplanetary travel; planetary entry, descent, and landing; and operation in another world. :)