Trace

Regex

Formula

Partition

Regex_Proof_System

Proof_System

Regex_Proof_Object

Proof_Object

Prelim

Regex_Checker

Checker

Event_Data

Checker_Code

Monitor

Examples