RuleRunner technical report

Abstract

Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.