The JPF team
JPF is a Java VM used to verify and debug software
GSoC Participation History
Technologies
Topics
Past Projects
Support Java 11/17 for JPF extensions
Java Path Finder (JPF), a specialized Java Virtual Machine for software verification, excels with Java 8 but faces challenges with modern features in...
Support portfolio of solvers in SPF
Java PathFinder (JPF) is an extensible software analysis framework for java bytecode which can be used to check for concurrency defects like...
Support Runtime Exception In SPF
The project aims to support and extend SPF’s symbolic execution capabilities which are being limited by certain factors, unhandled common Java...
Frequently Asked Questions
The JPF team | GSoC Org Profile & Stats - Learn about The JPF team's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available
Built with ❤️ for the Google Summer of Code (GSoC) open source community | © 2026 GSoCOrganizationsGuide