This is the README file for jMocha 2.0.1!

jMocha 2.0.1 is an extension of jMocha 2.0 including many
bug fixes and several new algorithms to verify reactive 
modules.  Please do not use the option 
'Check-New Symbolic Check'.  jMocha will crash with this
option.

jMocha 2.0 is a Java implementation of the MOCHA system
of the University of California at Berkeley and
the University of Pennsylvania.

MOCHA is a growing interactive software environment
for system specification and verification.
The main objective of MOCHA is to exploit,
rather than destroy, design structure in
automatic verification.
MOCHA is intended as a vehicle for development of
new verification algorithms and approaches.
MOCHA is available in two versions,
cMocha (Version 1.0.1) and jMocha (Version 2.0.0/.1).