| Java Pathfinder | |
|---|---|
| Developer | NASA |
| Latest release | 1.0a / October 6, 2005 |
| OS | Cross-platform |
| Genre | 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.
