Go to the first, previous, next, last section, table of contents.

3.2.11 The main module

The syntax of a NuSMV program is:

program ::
        module_1
        module_2
        ...
        module_n

There must be one module with the name main and no formal parameters. The module main is the one evaluated by the interpreter.