Paketti: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

Links for boogie

Trisquel-palvelut:

Imuroi lähdekoodipaketti boogie:

Ylläpitäjä:

Benjamin Barenblat

Original Maintainer:

Benjamin Barenblat

External Resources:

Kotisivu [research.microsoft.com]

Samankaltaisia paketteja:

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

depends

recommends

suggests

dep: libboogie-cil (= 2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

verifiable programming language (library)
dep: libmono-corlib4.5-cil (>= 4.2.0)

Mono core library (for CLI 4.5)
dep: libmono-system-windows-forms4.0-cil (>= 1.0)

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

Imuroi boogie

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	13.6 kt	42 kt	[tiedostoluettelo]

Sections