Java Pathfinder - Wikipedia
https://en.wikipedia.org/wiki/Java_Pathfinder
OverviewExampleExtensibilityLimitationsSee alsoExternal linksJava Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with the unrelated Java Plugin Framework project. The core of JPF is a Java Virtual Machine. JPF executes normal Java bytecode programs and can store, match and restore program states. Its primary application has been Model checking of concurrent programs License: Apache License Version 2: Written in: Java: Operating system: Cross-platform: Stable release: 6.0, / November 30, 2010
License: Apache License Version 2:
Written in: Java:
Operating system: Cross-platform:
Stable release: 6.0, / November 30, 2010
DA: 53 PA: 94 MOZ Rank: 58