Paquet : libapron-dev (0.9.10-9.1)

[ Paquet source : apron  ]

bibliothèque d'interprétation abstraite

La bibliothèque APRON est dédiée à l'analyse statique des variables numériques d'un programme par interprétation abstraite. Le but d'une telle analyse est d'inférer des invariants sur ces variables. La bibliothèque est destinée à être une interface commune à divers domaines abstraits ou bibliothèques sous-jacents et de fournir des services supplémentaires qui peuvent être implémentés indépendamment de la bibliothèque ou du domaine abstrait sous-jacent.

Ce paquet fournit les fichiers nécessaires à l'utilisation de la bibliothèque APRON dans C.

Étiquettes: Développement de logiciel: Programmation C, Bibliothèques, Tests et assurance qualité, Mis en œuvre en: implemented-in::c, role::devel-lib, Rôle: Programme, But: Analyse, Vérification

Autres paquets associés à libapron-dev

• dep: libapron

  bibliothèques d'exécution pour APRON

• dep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• dep: libmpfr-dev

  multiple precision floating-point computation developers tools

• dep: libppl-dev

  bibliothèque de polyèdres Parma –⋅développement

Télécharger libapron-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	128,6 ko	1 414,0 ko	[liste des fichiers]