Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> cli-mono >> boogie
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: boogie  ]

软件包: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

verifiable programming language (compiler)

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 compiler, as well as bvd, the Boogie Verification Debugger.

其他与 boogie 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • sug: libgtk2.0-0
    GTK+ graphical user interface library

下载 boogie

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 13.6 kB42 kB [文件列表]