[ Source: boogie ]
Package: libboogie-cil (2.4.1+dfsg-0.1)
Links for libboogie-cil
Debian Resources:
Download Source Package boogie:
Maintainer:
External Resources:
- Homepage [research.microsoft.com]
Similar packages:
linguaggio per programmazione verificabile (libreria)
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 la libreria Boogie.
Other Packages Related to libboogie-cil
|
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- libreria principale di Mono (per CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- libreria System.Core di Mono (per CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)
- libreria System.Drawing di Mono (per CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libreria System.Numerics di Mono (per CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- libreria System.Runtime.Caching di Mono (per CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- libreria System.Windows.Forms di Mono (per CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.6.1.3)
- libreria System.Xml di Mono (per CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- librerie System di Mono (per CLI 4.0)
Download libboogie-cil
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 573.2 kB | 1,918.0 kB | [list of files] |