Verification tools secure online shopping, banking.
In 1999, NASA’s Robust Software Engineering (RSE) group began developing a verification tool, called Java Pathfinder (JPF), for programs written in the popular Java programming language. If you do your banking or shopping online, you are most likely using Web sites enabled by Java applications. This photo, taken during Mars Pathfinder testing, shows the Pathfinder lander opening its petals to expose the yellow Sojourner rover (on left petal). Just like robotics and other hardware, control software must be extensively tested to ensure proper execution of commands.