1 paper
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…