Il y a 2 Résultats avec le mot clé : "qualitification"

Showroom des démos

Astrée : Preuve d'Absence d'Erreurs à l'Exécution

Astrée est un analyseur statique permettant la preuve d'absence d'erreurs à l'exécution dans des programmes C critiques embarqués. Cette preuve est entièrement automatique, et est effectuée au niveau du code source, vis à vis de la sémantique du langage. Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial. L'analyseur Astrée a été conçu et développé au sein de l'équipe Abstraction. Il est actuellement diffusé par l'entreprise Absint Angewandte Informatik.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Astrée : Preuve d'Absence d'Erreurs à l'Exécution

Lire la suite

Showroom des démos

Astrée : Preuve d'Absence d'Erreurs à l'Exécution

Astrée est un analyseur statique permettant la preuve d'absence d'erreurs à l'exécution dans des programmes C critiques embarqués. Cette preuve est entièrement automatique, et est effectuée au niveau du code source, vis à vis de la sémantique du langage. Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial. L'analyseur Astrée a été conçu et développé au sein de l'équipe Abstraction. Il est actuellement diffusé par l'entreprise Absint Angewandte Informatik.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > Astrée : Preuve d'Absence d'Erreurs à l'Exécution

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social