Skip to content
Sections
>> Trisquel >> Пакеты >> etiona >> cli-mono >> libboogie-cil
etiona  ] [  nabia  ] [  aramo  ]
[ Источник: boogie  ]

Пакет: libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

verifiable programming language (library)

Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice.

This package contains the Boogie library.

Другие пакеты, относящиеся к libboogie-cil

  • зависимости
  • рекомендации
  • предложения

Загрузка libboogie-cil

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 545,8 Кб1706 Кб [список файлов]