Java Pathfinder
From Wikipedia, the free encyclopedia
| Java Pathfinder | |
|---|---|
| Developed by | 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.
[edit] See also
[edit] 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-related article is a stub. You can help Wikipedia by expanding it. |
