SRSPlugin4

From FSL
Jump to: navigation, search

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.

Personal tools
Namespaces

Variants
Actions
Navigation