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