Paket: boogie (2.4.1+dfsg-0.1)

[ Källkod: boogie  ]

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.

Andra paket besläktade med boogie

• dep: libboogie-cil (= 2.4.1+dfsg-0.1)

  verifiable programming language (library)

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono core library (for CLI 4.5)

• dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)

  Mono System.Windows.Forms Library (for CLI 4.0)

• dep: mono-mcs

  Mono C# 2.0 / 3.0 / 4.0 / 5.0 compiler for CLI 2.0 / 4.0 / 4.5

• dep: mono-runtime (>= 3.0~)

  Mono runtime - default version

• dep: z3

  theorem prover from Microsoft Research

• sug: libgtk2.0-0

  GTK graphical user interface library - old version

Hämta boogie

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	16,2 kbyte	41,0 kbyte	[filförteckning]