Efficient parametric runtime verification with deterministic string rewriting

Keyphrases

• Aho-Corasick 50%
• Complete Monitoring 50%
• Computable 100%
• Context-free 50%
• Context-free Grammar 50%
• Expressiveness 50%
• Finite State 100%
• Formal Specification 50%
• Monitor Synthesis 50%
• Pattern Matching 50%
• Regular Logic 50%
• Runtime Verification 100%
• Safety Properties 100%
• State Language 50%
• String Rewriting 100%
• String Rewriting Systems 50%
• String Search 50%
• Synthesis Algorithm 50%
• Temporal Logic Specification 50%
• Turing Complete 100%

Computer Science

• Context-Free Grammars 50%
• Formal Specification 50%
• Modified Version 50%
• Pattern Matching 50%
• runtime verification 100%
• Synthesis Algorithm 50%
• Temporal Logic 50%