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