Parametric Trace Expressions for Runtime Verification of Java-Like Programs
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi · 2017
Parametric trace expressions are a formalism expressly designed for parametric runtime verification (RV) which has been introduced and successfully employed in the context of runtime monitoring of multiagent systems.