Links: SRS Input Syntax SRS Output Syntax SRS Monitoring Algorithm
SRS plugin for MOP allows one to synthesize monitors from string rewriting systems (SRS). The generated monitors are push-down automata-based, using a modified version of the standard table driven GLR parsing algorithm.