The jMocha User's Manual (gzip) provides a gentle introduction to the use of jMocha including the modeling formalism reactive modules, the compositional and hierarchical verification methodologies supported by jMocha, and the script language which supports the addition of user-defined verification functions.

jMocha comes with a user-friendly graphical interface, which should make it easy to use. In addition to the description in the manual, the script language provides a help command that returns information about a given command.

The examples used in the jMocha manual are available online. The syntax of the input language of reactive modules as well as of the script language Slang are available as html documents. More information on Slang can be found here. Please refer to the technical papers for more information.