Descrição
Sistemas probabilísticos podem ser analisados com um verificador de modelos moderno para modelos de Markov e formalismos relacionados. Este pacote compila o Storm a partir do tarball do projeto stormchecker e instala suas ferramentas de linha de comando via CMake. Ele é útil para pesquisadores, engenheiros de verificação e desenvolvedores que trabalham com modelos formais; análises grandes podem consumir bastante CPU e memória.