Java Pathfinder
Tool overview
JPF is a highly customizable execution environment for verification of Java™ bytecode programs. The system was developed at the NASA Ames Research Center, open sourced in 2005, and is freely available under the NOSA 1.3 license.
Technical details
Licence
Open Source
Status
Active
Operating systems / platform
MS Windows, Linux, Mac OS
User Interface
Command line
Technologies & Integrations
Useful links
Official website
Screenshots & video
Community reviews
Login to Write Your ReviewThere are no reviews yet.
Source & attribution
Original contributor
Jean-Baptiste CROUIGNEAU
Original listing URL