JPF is a special JVM for software verification
Blaine
Fingerprinting for Programs is aimed at analyzing code blocks on a semantic level. This is done by symbolically executing the code block via SPF over...
Jianfeng.Chen
The goal of NASA’s NextGen research is to accommodate the traffic increase coming over the 15 years. One requirement for NextGen is to provide a...
mmuesly
My projekt goal is to extend PSYCO by a symbolic search algorithm to generate a termination criteria for the learning phase and to enable PSYCO to...
Octarine
Java PathFinder (JPF) has potential to be used for verification of Android apps, as they are written in Java. There is already an ongoing project to...
Gunel Jahangirova
The main idea of the project is to define program repairs, which make the program closest to its oracle. Initially, we have a program, which is...
JaneOL
No one likes to arrive at the airport only to realize that their flight has been delayed. Departure Sensitive Arrival Spacing (DSAS) is a new concept...
Chao
JDart is a tool for performing concolic execution on a Java program. The aim of concolic execution is to explore additional behavior in the program...
Soothsilver
This project will bring the JPF Inspector debugging tool up to date with the most recent version of JPF and Java, and it will add additional...
afromherz
Symbolic Pathfinder (SPF) is an open-source symbolic execution tool, based on NASA Java Pathfinder (JPF) model checker, which is used in research and...
Jayton
JPF is the most popular model checking tool for Java applications. It is extensible and there are lots of extensions for various purposes....