A product from software verification provider Coverity was one of many tools used to remove defects
The Mars Curiosity Rover, a robot sent to Mars by NASA to investigate the possibility of extra-terrestrial life on the planet, had to undergo a rigorous software verification process to ensure that...
To continue reading this article...
Join Computing
- Unlimited access to real-time news, analysis and opinion from the technology industry
- Receive important and breaking news in our daily newsletter
- Be the first to hear about our events and awards programmes
- Join live member only interviews with IT leaders at the ‘IT Lounge’; your chance to ask your burning tech questions and have them answered
- Access to the Computing Delta hub providing market intelligence and research
- Receive our members-only newsletter with exclusive opinion pieces from senior IT Leaders
