Installation

Install the basic tools:

• CBMC: Follow the instructions on the CBMC release page.
• CBMC viewer: Follow the instructions on the CBMC viewer release page.

Install supporting tools (we assume you already have a C compiler and Python3):

• CBMC viewer will require exuberant ctags.
• CBMC starter kit will require ninja and gnuplot and the python packages jinja and voluptuous.

They are easy to install now:

On MacOS:   
  brew install ctags ninja gnuplot
  sudo python3 -m pip install jinja2 voluptuous

On Ubuntu:  
  sudo apt-get install ctags ninja-build gnuplot
  sudo python3 -m pip install jinja2 voluptuous

On Windows: 
  ctags: Download from https://sourceforge.net/projects/ctags
  ninja: Download from https://github.com/ninja-build/ninja/releases
  gnuplot: Download from http://www.gnuplot.info/download.html
  python3 -m pip install jinja2 voluptuous