Getting Started

This part of the manual aims to help new users of Storm getting started with the system. As such, it is structured like a tutorial that walks through the steps required to do various tasks in the system. The subsections of this part of the manual are roughly ordered according to complexity. The first subsections start by describing how to install Storm, run the bundled programs, and run small own programs. It then successively builds up to the last parts that cover how simple language extensions and whole languages can be built.

Below is an overview of the different subsections: