What is “xspin” Package?

Software verification tool (developed at Bell Labs)
For more details: https://spinroot.com/spin/Src/index.html

Installation

• Open Terminal by pressing command+space then type terminal and hit Enter key.
• Install homebrew first.

  ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

• Install xspin.

  brew install xspin

Now, use xspin!