[ bullseye ]
[ bookworm ]
[ Pakiet źródłowy: boogie ]
Pakiet: boogie (2.4.1+dfsg-0.1)
Odnośniki dla boogie
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego boogie:
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [research.microsoft.com]
Podobne pakiety:
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.
Inne pakiety związane z boogie
|
|
|
|
-
- dep: libboogie-cil (= 2.4.1+dfsg-0.1)
- Weryfikowalny język programowania (biblioteka)
-
- 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~)
- Środowisko uruchomieniowe Mono - wersja domyślna
-
- dep: z3
- Narzędzie do udowadniania twierdzeń firmy Microsoft Research
-
- sug: libgtk2.0-0
- GTK graphical user interface library - old version
Pobieranie boogie
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 16,2 KiB | 41,0 KiB | [lista plików] |