How to Install cbmc software package in Ubuntu 16.04 LTS (Xenial Xerus)

How to Install cbmc software package in Ubuntu 16.04 LTS (Xenial Xerus)

cbmc software package provides bounded model checker for C and C++ programs, you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install cbmc 

cbmc is installed in your system.

Make ensure the cbmc package were installed using the commands given below,

$ sudo dpkg-query -l | grep cbmc *

You will get with cbmc package name, version, architecture and description in a table

cbmc package basic information:

Distro Ubuntu 16 04 lts xenial xerus
Section Science
Package cbmc
Version 5.3-1
Description bounded model checker for C and C++ programs
Sub Section Science


See Also, How to uninstall or remove cbmc software package from Ubuntu 16.04 LTS (Xenial Xerus) ?