Softwaren, der styrer Mars-robotten Curiosity, er blevet kvalitetstjekket på alle mulige måder, herunder med automatiske værktøjer. Bare én enkelt fejl i koden kan ødelægge det 15 milliarder kroner dyre projekt.