Java Pathfinder
| Developer(s) | NASA |
|---|---|
| Stable release | |
| Operating system | Cross-platform |
| Type | Model checking |
| License | NASA Open Source Agreement version 1.3 |
| Website | http://javapathfinder.sourceforge.net/ |
Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.
See also
- NASA World Wind
- MoonWalker - similar to Java PathFinder, but for .NET programs instead of Java programs
External links
- Official site
- New NASA Software Detects 'Bugs' in Java Computer Code
- NASA Develops New Software to Detect "Bugs" in Java Computer Code
- Building and Running Java PathFinder with NetBeans by Charlie Hunt
- Test Input Generation with Java PathFinder
 | This software article is a stub. You can help Wikipedia by expanding it. |