Install Storm via Homebrew
This installation method is currently not compatible with Stormpy—the python bindings of Storm. If you plan to use Stormpy, you should build Storm from source.
If you are running a version of macOS that is newer than Mavericks, you can use homebrew, the “missing package manager for macOS”. Once you have installed Homebrew, you need to make Homebrew aware of how to install Storm. In brew-speak, you need to tap the Storm Homebrew formulas
$ brew tap moves-rwth/storm
Then, installing Storm is as easy as
$ brew install stormchecker
This will install Storm and all necessary and some recommended dependencies. More options provided by the package can be seen by invoking
$ brew info stormchecker
After installing the package, you should directly be able to invoke
and continue with the guide on how to run Storm.
Additional steps for ARM-based Apple Silicon CPUs
For ARM-based Apple Silicon CPUs, installing Storm currently requires a homebrew installation that uses default x86 installation paths. One valid executable location would be
See the homebrew section of this page for further information.
You have to enable x86 emulation when invoking homebrew:
$ export X86_BREW=/usr/local/bin/brew # change path if necessary. $ $X86_BREW tap moves-rwth/storm $ arch -x86_64 $X86_BREW install stormchecker
After the installation step, you should be able to invoke
storm as mentioned above. It might be necessary to specify the path of the executable using
$ $($X86_BREW --prefix stormchecker)/bin/storm
In this case we recommend adding the corresponding path to your
$PATH environment variable using
$ export PATH=$PATH:$($X86_BREW --prefix stormchecker)/bin
Native compilation on ARM-based systems is not yet supported. This is work in progress.