Description
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.
Details
- Listing categories Test design / Coverage / Development assistant
- Licence Open Source
- Status Active
- Supported Technology Java
- User Interface Command line
Post New Review
You must be logged in to post a comment.