toutes les options
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : why3  ]

Paquet : why3 (1.7.2-2 et autres)

Liens pour why3

Screenshot

Ressources Debian :

Télécharger le paquet source why3 :

Responsables :

Ressources externes :

Paquets similaires :

plateforme de vérification logicielle

Why3 est une plateforme pour la vérification déductive de programme. Elle fournit un langage riche pour la spécification et la programmation, appelé WhyML, et repose sur des démonstrateurs externes de théorème, à la fois automatiques et interactifs, pour remplir les conditions de vérification. Why3 est fournie avec une bibliothèque standard de théories logiques (arithmétique des nombres entiers et réels, opérations booléennes, ensembles et leurs relations, etc.) et des structures de données de programmation (tableaux, files d’attente, tables de hachage, etc.). Un utilisateur peut écrire directement des programmes WhyML et obtenir des programmes OCaml correct-par-construction à travers un mécanisme automatique d’extraction. WhyML est aussi utilisé comme langage intermédiaire pour la vérification de de programmes C, Java ou Ada.

Why3 est une réimplémentation complète de l’ancienne plateforme Why. Parmi les nouvelles caractéristiques, il y a de nombreuses extensions pour le langage utilisé, une nouvelle architecture pour appeler des démonstrateurs externes et une API bien conçue permettant d’utiliser Why3 comme bibliothèque logicielle. L’accent est porté sur la modularité et la généricité, permettant à l’utilisateur final de facilement réutiliser des formalisations Why3 ou d’ajouter la prise en charge de nouveaux démonstrateurs.

Étiquettes: Boîte à outils d'interface utilisateur: GTK, Interface utilisateur texte ncurses

Autres paquets associés à why3

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger why3

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 1.7.2-2+b1 24 720,6 ko81 402,0 ko [liste des fichiers]
amd64 1.7.2-2+b1 10 707,5 ko40 338,0 ko [liste des fichiers]
arm64 1.7.2-2+b1 11 978,4 ko48 892,0 ko [liste des fichiers]
armel 1.7.2-2+b1 24 722,4 ko81 305,0 ko [liste des fichiers]
armhf 1.7.2-2+b1 24 721,6 ko81 298,0 ko [liste des fichiers]
hppa (portage non officiel) 1.7.2-2+b1 24 720,6 ko81 301,0 ko [liste des fichiers]
i386 1.7.2-2+b1 24 722,9 ko81 316,0 ko [liste des fichiers]
ia64 (portage non officiel) 1.6.0-1+b5 21 583,5 ko86 346,0 ko [liste des fichiers]
m68k (portage non officiel) 1.6.0-1+b4 21 576,1 ko86 325,0 ko [liste des fichiers]
mips64el 1.7.2-2+b1 24 723,4 ko81 408,0 ko [liste des fichiers]
ppc64 (portage non officiel) 1.7.2-2+b1 24 724,4 ko81 404,0 ko [liste des fichiers]
ppc64el 1.7.2-2+b1 10 730,0 ko43 771,0 ko [liste des fichiers]
riscv64 1.7.2-2+b1 10 809,2 ko42 989,0 ko [liste des fichiers]
s390x 1.7.2-2+b1 10 742,1 ko45 214,0 ko [liste des fichiers]
sh4 (portage non officiel) 1.7.2-2 24 719,4 ko81 399,0 ko [liste des fichiers]
sparc64 (portage non officiel) 1.7.2-2+b1 24 721,5 ko83 325,0 ko [liste des fichiers]
x32 (portage non officiel) 1.3.3-3 84 958,0 ko353 621,0 ko [liste des fichiers]