Paket: libboogie-cil (2.4.1 dfsg-0.1)

Links für libboogie-cil

Debian-Ressourcen:

Quellcode-Paket boogie herunterladen:

Betreuer:

Benjamin Barenblat (QS-Seite)

Externe Ressourcen:

Homepage [research.microsoft.com]

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.

Andere Pakete mit Bezug zu libboogie-cil

hängt ab von

empfiehlt

schlägt vor

erweitert

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

Mono-Basisbibliothek (für CLI 4.5)
dep: libmono-system-core4.0-cil (>= 5.18.0.240)

Mono-Bibliothek System.Core (für CLI 4.0)
dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)

Mono-Bibliothek System.Drawing (für CLI 4.0)
dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

Mono-Bibliothek System.Numerics (für CLI 4.0)
dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)

Mono-Bibliothek System.Runtime.Caching (für CLI 4.0)
dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)

Mono-Bibliothek System.Windows.Forms (für CLI 4.0)
dep: libmono-system-xml4.0-cil (>= 4.6.1.3)

Mono-Bibliothek System.Xml (für CLI 4.0)
dep: libmono-system4.0-cil (>= 5.18.0.240)

Mono-System-Bibliotheken (für CLI 4.0)

libboogie-cil herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	573,2 kB	1.918,0 kB	[Liste der Dateien]