This tap provides the formula to install Storm via homebrew.
You can install Storm via
brew install moves-rwth/storm/stormchecker
Alternatively, you can execute
brew tap moves-rwth/storm
and then
brew install stormchecker
For instructions on how to use Storm, we refer to Storm's website.
For help on Homebrew, use brew help, man brew or check Homebrew's documentation.