Skip to content
Sections
>> Trisquel >> Packages >> nabia >> cli-mono >> boogie
etiona  ] [  nabia  ] [  aramo  ]
[ Source: boogie  ]

Package: boogie (2.4.1+dfsg-0.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.

Other Packages Related to boogie

  • depends
  • recommends
  • suggests
  • sug: libgtk2.0-0
    GTK graphical user interface library - old version

Download boogie

Download for all available architectures
Architecture Package Size Installed Size Files
all 13.7 kB41 kB [list of files]