Précédent : Action de développement Génie Remonter : Contrats industriels (nationaux, européens et Suivant : Actions régionales, nationales et internationales
Précédent : Action de développement Génie
Remonter : Contrats industriels (nationaux, européens et
Suivant : Actions régionales, nationales et
internationales
Participants : Yves Bertot, Olivier Pons, Laurence
Rideau.
La Consultation Technique Informelle « Environnement de manipulation de spécifications et preuves formelles » a permis de collaborer avec le CNET et le projet COQ à l'INRIA Rocquencourt et à l'École Normale Supérieure de Lyon (et à partir de septembre à l'université de Paris Sud) sur le sujet des outils pour le développement de grandes preuves en COQ. Ce travail se fait dans le cadre de la thèse de Olivier Pons.