all options
bullseye  ] [  bookworm  ]
[ Source: boogie  ]

Package: libboogie-cil (2.4.1+dfsg-0.1)

Links for libboogie-cil

Screenshot

Debian Resources:

Download Source Package boogie:

Maintainer:

External Resources:

Similar packages:

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.

Other Packages Related to libboogie-cil

  • depends
  • recommends
  • suggests
  • enhances

Download libboogie-cil

Download for all available architectures
Architecture Package Size Installed Size Files
all 573.2 kB1,918.0 kB [list of files]