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

Language definition

This chapter is intended to include a ormal description of the syntax and semantics of the SMV language. Currently only the syntax is available.

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