/jpf-core

Computer hardware is susceptible to errors. For example, radiation may induce error to the hardware and some bit might be flipped. It is important to improve the resiliency of software against hardware errors. One way to evaluate the resiliency of software against hardware errors is by fault injection. The project uses Java PathFinder to systematically inject and explore bit-flip faults in the user specified variables in Java programs.

Primary LanguageJava

Java Pathfinder (JPF)

build master

An extensible software model checking framework for Java bytecode programs

General Information about JPF

All the latest developments, changes, documentation can be found on our wiki page.

Building and Installing

If you are having problems installing and running JPF, please look at the How to install JPF guide.

We have documented on the wiki a lot of common problems that might occur during the installation and build processes as reported by the users. If you are facing any issue, please, make sure that we have not addressed it in documentation. Otherwise, feel free to contact us at java-pathfinder@googlegroups.com or open an issue on the Issue Tracker.

Documentation

There is a constant effort to update and add JPF documentation on the wiki. If you would like to contribute in that, please, contact us at java-pathfinder@googlegroups.com.

Contributions are welcome and we encourage you to get involved with the community.

Happy Verification -- the Java PathFinder team