[ bullseye ]
[ bookworm ]
[ Quellcode: boogie ]
Paket: boogie (2.4.1 dfsg-0.1)
Links für boogie
Debian-Ressourcen:
Quellcode-Paket boogie herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [research.microsoft.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu boogie
|
|
|
|
-
- dep: libboogie-cil (= 2.4.1 dfsg-0.1)
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Mono-Basisbibliothek (für CLI 4.5)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- Mono-Bibliothek System.Windows.Forms (für CLI 4.0)
-
- dep: mono-mcs
- Mono-C#-Compiler 2.0 / 3.0 / 4.0 / 5.0 für CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- Mono-Laufzeit - Standardversion
-
- dep: z3
- Theorembeweiser von Microsoft Research
-
- sug: libgtk2.0-0
- GTK - Bibliothek für grafische Benutzeroberflächen - alte Version
boogie herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 16,2 kB | 41,0 kB | [Liste der Dateien] |