Welcome to the SMC Storm documentation!
=======================================

smc_storm is a statistical model checker for discrete time Markov chains (DTMCs) and Markov decision processes (MDPs).
As the name suggests, it builds up on `STORM <https://www.stormchecker.org/>`_, and supports both probability and reward properties.

Contents
--------

.. toctree::
   :maxdepth: 2

   installation
   tutorials
   API/api