MTC (Models and Theory of Computation): cMocha Documentation

cMocha Documentation

english only

cMocha (Version 1.0.1) Documentation

The cMocha User's Manual (gzip) provides a gentle introduction to the use of cMocha including the modeling formalism reactive modules, the specification logic ATL, and the compositional and hierarchical verification methodologies supported by cMocha.

cMocha comes with an extensive built-in help system which is available either through a help menu of cMocha's graphical user interface or through the following help commands in cMocha's command shell:

help: lists the commands

help command: gives help for command command

command -h: gives the usage for command command

The help information for the commands in cMocha is also available on-line. Also refer to the technical papers for more extensive information.

If you are interested in the software design aspects of cMocha you may find the following information useful. cMocha has been written with a view to make it easily extensible. To enable this we have adopted the C coding conventions advocated by VIS in:

VIS Engineering Manual (HTML, Postscript)

cMocha is organized into packages. By adhering to the VIS coding conventions we were able to automatically extract documentation for the exported functions in the packages using the ext documentation extraction system:

cMocha package documentation

At some point we will have a short document giving an overview of the software architecture of cMocha:

cMocha Programmer's Manual (in preparation)