» Наука

Как установить cbmc в Ubuntu / Debian

Установка:

Для установки cbmc в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install cbmc

Настроить команду APT

cbmc — ограниченная проверка модели для программ C и C++

Подробная информация о пакете:

Ограниченная проверка модели для программ C и C++

http://www.cprover.org/cbmc/
Источник: packages.ubuntu.com

  • Зависимости:

  • gcc

    Компилятор GNU C

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgcc1

    Библиотека поддержки GCC

  • libzip4

    Библиотека для чтения, создания и изменения zip-архивов (runtime)

  • minisat

    Быстрый и легкий SAT-решатель

  • libstdc++6