Go to the first, previous, next, last section, table of contents.
We present now the complete syntax of the input language of
NuSMV. In the following, an atom may be any sequence of
characters starting with a character in the set {A-Za-z_} and
followed by a possibly empty sequence of characters belonging to the set
{A-Za-z0-9_\$#-}.
A number is any sequence of digits. A digit belongs to the set
{0-9}.
All characters and case in a name are significant. Whitespace
characters are space (SPACE), tab (TAB) and
newline (RET). @cindex comments in NuSMV language
Any string starting with two dashes (`--') and
ending with a newline is a comment. Any other tokens recognized by the
parser are enclosed in quotes in the syntax expressions below.
Grammar productions enclosed in square brackets (`[]') are
optional.