[ 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:
lenguaje de programación verificable (biblioteca)
Boogie es un compilador de lenguaje intermedio que permite la verificación invariante automática utilizando un solucionador SMT como Z3. Admite la verificación de programas para una variedad de otros lenguajes de alto nivel, incluyendo Spec\#, C, Dafny y Chalice.
Este paquete contiene la biblioteca Boogie.
Other Packages Related to libboogie-cil
|
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- Mono System.Core library (for CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)
- Mono System.Drawing library (for CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Mono System.Numerics library (for CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- Mono System.Runtime.Caching Library (for CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- Mono System.Windows.Forms Library (for CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.6.1.3)
- Mono System.Xml library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- Mono System libraries (for CLI 4.0)
Download libboogie-cil
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 573.2 kB | 1,918.0 kB | [list of files] |