A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Parametric Trace Expressions for Runtime Verification of Java-Like Programs
2017
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17
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. Trace expressions are built on the general notion of event type, which allows them to be adopted in different contexts. In this paper we show how trace expressions can be used for conveniently specifying the expected behavior of a Java-like program to be monitored at runtime.
doi:10.1145/3103111.3104037
dblp:conf/ecoop/AnconaFFM17
fatcat:k3kyd6rqcndolkfmscrh57eada