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