Précédent : Logiciels Remonter : Logiciels Suivant : Environnement de preuve CTCOQ
Précédent : Logiciels Remonter : Logiciels
Suivant : Environnement de preuve
CTCOQ
Participants : Francis Montagnac, Valérie Pascual
[correspondante].
Le générateur d'environnement de programmation Centaur est distribué et maintenu par le projet CROAP. Ce logiciel est utilisé pour des activités de recherche au sein du projet CROAP et dans d'autres projets de l'INRIA. Trois licences pour Centaur ont été distribuées cette année dans le cadre de son utilisation dans le projet ACACIA (logiciel COKACE).
Le logiciel CENTAUR est mis en accès électronique par la page web : http://www.inria.fr/croap/centaur/centaur.html. La distribution n'est pas complètement libre eu égard à nos partenaires industriels (des licences officielles sont fournies gratuitement pour les sites académiques et commercialement, par Simulog, pour les autres sites).