http://gigaom.com/cloud/nasa-scrubbed-mars-rover-code-clean-over-and-over/
/ 2 million lines software NASA Jet Propulsion Laboratory JPL suite of analysis tools bugs GCC compiler Lab For Reliable Software programs array overload corrupt corrupt system memory /
No comments:
Post a Comment