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

$ storm

and continue with the guide on how to run Storm.