RuleRunner technical report
arXiv:1306.0810
Abstract
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.
arXiv:1306.0810
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.