[Next] [Up] [Previous] [Contents]

Syntax

This section gives a BNF grammar for the SMV language.

• Lexical tokens
• Identifiers
• Expressions
• Types
• Statements
• Module definitions
• Programs