CFGPlugin4

From FSL
Jump to: navigation, search

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

Personal tools
Namespaces

Variants
Actions
Navigation