Paketti: boogie (2.4.1+dfsg-0.1)

[ Source: 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.

Muut pakettiin boogie liittyvät paketit

• 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

Imuroi boogie

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	16.2 kt	41.0 kt	[tiedostoluettelo]