The JPF team
JPF is a Java VM used to verify and debug software
- 48
- Projects
- 11
- Years accepted
- 2
- In 2026
Projects by year
482026
2 acceptedShow
Support for Java 17 in jpf-core
Accepted project · by Darshan Raghavendrachari
JPF currently cannot fully analyze Java 17 programs that use sealed classes and records — two features now standard in modern Java. This project...
Support Floating Point Constraints for Path-Merged Regions
Accepted project · by Salmane Khalili
Java-Ranger is a path merging extension of Symbolic Pathfinder, that collapses multiple execution paths into a single region with a disjunctive...
2025
3 acceptedShow
Java Path Finder (JPF), a specialized Java Virtual Machine for software verification, excels with Java 8 but faces challenges with modern features in...
Java PathFinder (JPF) is an extensible software analysis framework for java bytecode which can be used to check for concurrency defects like...
The main goal of this project is to add support for handling runtime exceptions in SPF that will improve SPF's performance on SV-COMP benchmarks....
2024
3 acceptedShow
- Support for Java 17 for jpf-coreRahul Kumar (Ekla)
- Support the generation of violation witness in graphML format in SPFKunha Kim
- Model-based Testing with Modbat for JPFHarshvardhan Parmar
2023
2 acceptedShow
2022
2 acceptedShow
- Support More Java String Functions in SPFQiuchen Yan
- Add Gradle support for SymbolicPathFinderGaurang Pramod Kudale
Public proposals
2- GSoC Proposal JPF SAIF ALI KHAN2025 · Accepted · from SammanSarkar/GSoC_archive_2025
- TheJPFTeam RehanChalana GSOC252025 · Accepted · from SammanSarkar/GSoC_archive_2025
Read them for structure, not to copy. All proposals for The JPF team.
