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
Rehan Chalana
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
Saiff
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....
