SeDRe


Résumé de la présentation de Laïka Moussa

Interfaçage entre CiME et FOCAL :

Le projet FOCAL s'attache a créer un environnement de programmation pour programmes certifiés. Cet environnement est basé sur un langage fonctionnel et orienté objet et fournit, de plus, divers outils de preuve au programmeur. Grâce à divers mécanismes d'héritage, et de raffinements, on va arriver à produire un code exécutable.

CiME est un outil developpé par le CNAM et le LRI, et permet de résoudre les problèmes équationnels.

Mon travail est d'interfacer FOCAL avec un outil de preuve existant, appele CiME..