NASA Open-Sources Java PathFinder @ JDJ: "NASA Open-Sources Java PathFinder
Ames Research Center Releases Explicit State Software Model Checker
By: JDJ News Desk
April 28, 2005 11:00 AM
'Java PathFinder is a program that helps people find bugs in other programs,' said John Penix, a computer scientist at NASA Ames Research Center, located in California's Silicon Valley, as the Center announced today that they are releasing Java PathFinder as open source code at no cost to people who would like to use it."