[ Paquet source : why3 ]
Paquet : why3-examples (1.3.3-1)
Liens pour why3-examples
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 why3 :
Responsables :
Ressources externes :
- Page d'accueil [why3.lri.fr]
Paquets similaires :
exemples pour la plateforme de vérification why3
Ce paquet fournit des exemples pour les tâches de vérification de programme et pour des tâches de vérification logique pure, pour la plateforme de vérification de logiciel why3.
Autres paquets associés à why3-examples
|
|
|
|
-
- dep: tex-common (>= 6.13)
- infrastructure commune pour construire et installer TeX
-
- rec: why3
- plateforme de vérification logicielle
Télécharger why3-examples
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 3 411,7 ko | 18 155,0 ko | [liste des fichiers] |