Package org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom

Class Summary
EBP2PromChecker This is implementation of the Checker interface for EBP2Promela case.