About JPF HJ
JPF-HJ is a data-race detection tool for Habanero-Java programs written for JPF. It is compatible with all HJ-lib programs. For more information about JPF-HJ click here. For usage information click here.
14-May-2015: HJ-JPF Page Updated, More to Follow
HJ-JPF homepage will now host regularly updated builds of the verification library as well as usage instructions. Watch for changes in the days ahead!