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

Paquet : z3 (4.8.12-3.1 et autres)

Liens pour z3

Screenshot

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

Paquets similaires :

justificateur de théorème de Microsoft Research

Issu de Microsoft Research, Z3 est un justificateur de théorème à la pointe de l’art. Il peut être utilisé pour vérifier l’adéquation de formules logiques par rapport à une ou plusieurs théories. Z3 permet une incontestable adéquation dans l’analyse de logiciels et d’outils de vérification, étant donné que quelques logiciels communs établissent des correspondances directement dans les théories prises en charge.

Le format d’entrée de Z3 est une extension du standard SMT-LIB 2.0.

Autres paquets associés à z3

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger z3

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
armel 4.8.12-3.1+b2 5 940,8 ko21 753,0 ko [liste des fichiers]