TL;DR
RuleRunner is a rule-based runtime monitoring system designed for finite traces, providing verdicts based on FLTL logic with quadratic computational complexity.
Contribution
This paper introduces RuleRunner, a novel runtime monitoring system that efficiently evaluates finite traces using rule-based methods and FLTL logic.
Findings
Provides FLTL verdicts for finite traces
Achieves quadratic complexity in monitoring
Enhances runtime verification capabilities
Abstract
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Software Testing and Debugging Techniques · Parallel Computing and Optimization Techniques