Sites Inria

Il y a 2 Résultats avec le mot clé : "preuve de programmes"

© INRIA / Photo C. Lebedinsky

Preuve de programme

La vérification de programmes en compétition

Françoise Breton – Technoscope - 1/02/2012

Six équipes sur les 29 en lice sont arrivées en tête de la compétition sur la preuve de programme associée à la conférence VSTTE 2012 (Verified Software : Theories, Tool and Experiments) qui se déroulait les 28 et 29 janvier à Philadelphie. Retour sur la compétition et ses enjeux avec deux de ses organisateurs, Jean-Christophe Filliâtre et Andrei Paskevich, membres du LRI et de l’équipe Proval.

Mots-clés :

Accueil > Centre > Saclay > Actualités > La vérification de programmes en compétition

Lire la suite

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller : Faire que la preuve soit universelle

Sophy Caulier - 6/12/2011

Bénéficiaire d’une bourse ERC Advanced Grant destinée aux chercheurs confirmés, Dale Miller s’engage sur le difficile chemin de la preuve. Son objectif : dans ce domaine très abstrait mais qui a un impact certain sur le monde réel, standardiser les systèmes de preuve et leur délivrer des certificats afin d’améliorer la confiance que l’on peut avoir en eux.

Mots-clés :

Accueil > Actualité > Actualités Inria > Dale Miller : Faire que la preuve soit universelle

Lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !