JavaLTLPlugin4

From FSL
Jump to: navigation, search

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.

Personal tools
Namespaces

Variants
Actions
Navigation