JavaPTLTLPlugin4

From FSL
Jump to: navigation, search

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.

Personal tools
Namespaces

Variants
Actions
Navigation