89 citations · 117 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
Runtime Verification Through Forward Chaining
Alan Perotti, Guido Boella, Artur d'Avila Garcez
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication f…
cs.LO2013★ 1 cited
RuleRunner technical report
Alan Perotti
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.