Précédent : RNRT Remonter : Contrats industriels (nationaux, européens et Suivant : Actions régionales, nationales et internationales
Précédent : RNRT Remonter : Contrats industriels (nationaux,
européens et Suivant : Actions régionales, nationales et
internationales
Nous avons une collaboration suivie avec P. Crégut et J.-F. Monin du CNET à Lannion dans le cadre d'un contrat de trois ans auquel participe le projet CROAP (U.R. Sophia-Antipolis). Ce contrat porte sur le développement dans Coq d'outils de réutilisation de preuves et d'une bibliothèque permettant l'écriture de tactiques de haut niveau. Le CNET s'intéresse à Coq pour la validation dálgorithmes intervenant dans les protocoles de communication.