Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-lang/
boogie

SMT-based program verifier

https://github.com/boogie-org/boogie/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
3.4.2  : 0 S EAPI 8 ~amd64?x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc
3.4.1  : 0 S EAPI 8 ~amd64?x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc
3.3.3  : 0 S EAPI 8 ~amd64?x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc
3.2.5  : 0 S EAPI 8 amd64?x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc

Package Metadata

  • Upstream
    Bugs-Tohttps://github.com/boogie-org/boogie/issues/
    Remote-Idhttps://github.com/boogie-org/boogie
  • Full description
    Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, and Spec#. For a sample verifier for a toy language built on top of Boogie, see Forro. Boogie is also the name of a tool. The tool accepts the Boogie language as input, optionally infers some invariants in the given Boogie program, and then generates verification conditions that are passed to an SMT solver. The default SMT solver is Z3.
  • USE flags
    Global Use Flags
  • License
    MIT
  • Maintainer(s)
    Gentoo Dotnet Project