Установка:

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

sudo apt update
sudo apt install boogie
boogie — поддающийся проверке язык программирования (компилятор)

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

Поддающийся проверке язык программирования (компилятор)

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

  • libboogie-cil

    Поддающийся проверке язык программирования (библиотека)

  • libmono-corlib4.5-cil

    Монообменная библиотека (для CLI 4.5)

  • libmono-system-windows-forms4.0-cil

    Библиотека Mono System.Windows.Forms (для CLI 4.0)

  • mono-mcs

    Компилятор Mono C# 2.0 / 3.0 / 4.0 / 5.0 для CLI 2.0 / 4.0 / 4.5

  • mono-runtime

    Mono runtime - версия по умолчанию

  • z3

    Доказательство теоремы от Microsoft Research