sofya.apps.atomicity
Classes 
AtomicityEvents
AutomataController
DefaultEventClassifier
DynamicEscapeDetector
EventClassifier
EventClassifier.EventClass
HappenBeforeChecker
MultiLocksetRaceDetector
RBAutomata
RBAutomataExt52
ResultCollector