Package org.objectweb.dsrg.sofa.cushion.jpfcheck

Class Summary
EnvironmentInfo Container class for information related to component environments.
JPFCheckAction Frontend to the Environment Generator and Java PathFinder.
JPFCheckActionBackend This class actually uses Environment Generator and Java PathFinder.
JPFCheckerSearch Modified version of the DFSearch class distributed with JPF.
ProtocolListener Listener for JPF that monitors protocol-related events (method invoke and return) and notifies the BPChecker when any such event occurs.