通过NetBeans构建和运行Java PathFinder
通过NetBeans构建和运行Java PathFinder2011-08-09Charlie HuntJava PathFinder 是 NASA 项目的结果。它主要是在 NASA 软件模型研究中心开发的,现在仍然在使 用。Java PathFinder 项目是一个软件模型检查的可行性研究,开始于 1999 年。从那时起它便开始了通 往学术研究和工业之路,它甚至在实际太空船缺陷检测中也发挥过作用。Java PathFinder 是一个用来验证可执行 Ja...