RuleRunner technical report
arXiv:1306.0810v11 citations
AI Analysis
This is an incremental improvement for runtime monitoring in formal verification.
The paper tackles the problem of monitoring finite traces using rule-based systems, achieving a quadratic complexity for FLTL verdicts.
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.