[ Paquet source : boogie ]
Paquet : libboogie-cil (2.4.1+dfsg-0.1)
Liens pour libboogie-cil
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source boogie :
Responsable :
Ressources externes :
- Page d'accueil [research.microsoft.com]
Paquets similaires :
langage de programmation vérifiable–⋅bibliothèque
Boogie est un langage intermédiaire de compilateur prenant en charge la vérification automatique des invariants grâce à un solveur SMT tel que Z3. Il gère la vérification de programme pour une variété d'autres langages de haut niveau donc Spec\#, C, Dafny et Chalice.
Ce paquet fournit la bibliothèque Boogie.
Autres paquets associés à 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)
Télécharger libboogie-cil
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 573,2 ko | 1 918,0 ko | [liste des fichiers] |