M
F
O
T
L
_
C
hecker
Trace
Regex
Formula
Partition
Regex_Proof_System
Proof_System
Regex_Proof_Object
Proof_Object
Prelim
Regex_Checker
Checker
Event_Data
Checker_Code
Monitor
Examples