[ bullseye ]
[ bookworm ]
[ Paquet source : boogie ]
Paquet : boogie (2.4.1 dfsg-0.1)
Liens pour boogie
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 – compilateur
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 le compilateur Boogie ainsi que bvd, le débogueur de vérification de Boogie.
Autres paquets associés à boogie
|
|
|
|
-
- dep: libboogie-cil (= 2.4.1 dfsg-0.1)
- langage de programmation vérifiable–⋅bibliothèque
-
- 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
- compilateur Mono C# 2.0/3.0/4.0 /5.0 pour CLI 2.0/4.0/4.5
-
- dep: mono-runtime (>= 3.0~)
- environnement d'exécution de Mono – version par défaut
-
- dep: z3
- justificateur de théorème de Microsoft Research
-
- sug: libgtk2.0-0
- bibliothèque d'interface graphique utilisateur GTK –⋅version ancienne
Télécharger boogie
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 16,2 ko | 41,0 ko | [liste des fichiers] |