[ bullseye ]
[ bookworm ]
[ Source: boogie ]
Package: boogie (2.4.1+dfsg-0.1)
Links for boogie
Debian Resources:
Download Source Package boogie:
Maintainer:
External Resources:
- Homepage [research.microsoft.com]
Similar packages:
linguaggio per programmazione verificabile (compilatore)
Boogie è un compilatore di linguaggio intermedio con la gestione del controllo automatico degli invarianti usando un risolutore SMT come Z3. Gestisce la verifica del programma per svariati altri linguaggi di più alto livello inclusi Spec\#, C, Dafny e Chalice.
Questo pacchetto contiene il compilatore Boogie e bvd (Boogie Verification Debugger).
Other Packages Related to boogie
|
|
|
|
-
- dep: libboogie-cil (= 2.4.1+dfsg-0.1)
- linguaggio per programmazione verificabile (libreria)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- libreria principale di Mono (per CLI 4.5)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- libreria System.Windows.Forms di Mono (per CLI 4.0)
-
- dep: mono-mcs
- compilatore Mono C# 2.0 / 3.0 / 4.0 / 5.0 per CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- runtime Mono - versione predefinita
-
- dep: z3
- dimostratore di teoremi di Microsoft Research
-
- sug: libgtk2.0-0
- libreria per interfacce utente grafiche GTK - vecchia versione
Download boogie
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 16.2 kB | 41.0 kB | [list of files] |