Description
Probabilistic systems can be analyzed with a modern model checker for Markov models and related formalisms. This package builds Storm from the stormchecker upstream tarball and installs its command-line tools through CMake. It is useful for researchers, verification engineers, and developers working with formal models; large analyses can consume substantial CPU and memory.