org.objectweb.dsrg.sofa.util.checker
Interfaces
Checker
Classes
BehaviorChecker
CheckingResult