JavaPTLTLPlugin4

Links:

MOP
JavaMOP Syntax
PTLTL Plugin
PTLTL Input Syntax
PTLTL Monitoring Algorithm

JavaPTLTL is an instance of MOP for Java and for PTLTL specifications. It is obtained by running JavaMOP with PTLTL specifications. Despite its simplicity, JavaPTLTL has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric past time linear temporal logic formulae.