JPF，即Java PathFinder，是一种用于检测软件系统中状态空间的Java虚拟机。JPF基于Java语言，可用于发现软件的潜在缺陷，如访问越界、死锁、无限循环 ...

NASA scientists today announced they are releasing free software that will find ‘bugs,’ or defects, in Java computer code. The new software, Java Pathfinder, is classified as ‘open source ...