Language Reference

This section of the documentation covers the fundamentals of Storm, and the languages that are built in by default (Basic Storm and the Syntax Language). These two languages will then be used for examples in the remainder of the documentation.

The language reference consists of the following sections:

The language reference does not cover libraries in detail. These are instead covered in the library reference.