Установка:

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

sudo apt update
sudo apt install libboogie-cil

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

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

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

Этот пакет содержит библиотеку Boogie.

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