Vérification statique de programmes par interprétation abstraite: principes et expériences industrielles

19/10/99

Cliquez ici pour démarrer
(version PDF)

Table des matières

Vérification statique de programmes par interprétation abstraite: principes et expériences industrielles
Vérification logicielleObjectifs généraux
Description générale du processus de vérification
Erreurs détectées
Exemple
Exemple
Principes techniques
Principes techniques
Sûreté
Principes Techniques
Erreur Potentielle
Erreur Certaine
Pas d’erreur
Code non atteignable
Taux de sélectivité
Optimisations
Expériences industrielles
Expérience Ariane 502
Expérience Ariane 502
Expérience Ariane 502
Expérience Ariane 502
Expériences industrielles
UTILISATIONS
Conclusions sur les expériences
Architecture du produit
PolySpace Verifier
PolySpace Viewer
PolySpace Viewer
PolySpace Viewer

Auteur: Daniel Pilaud

Messagerie: webmaster@irisa.fr

Page d'accueil: http://www.irisa.fr/

Autres informations:
octobre 1999