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 provided on-line. Please refer to the technical papers for more information.