Установка:

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

sudo apt update
sudo apt install boogie

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

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

Boogie — это промежуточный язык компилятора с поддержкой автоматической проверки инвариантов с использованием SMT-решения, такого как Z3. Он поддерживает проверку программы для множества других языков более высокого уровня, включая Spec #, C, Dafny и Chalice.

Этот пакет содержит компилятор Boogie, а также bvd, отладчик проверки 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