Velo - Vérification pour l'Environnement et le LOgiciel

Bonjour,

Je vous écrit car vous avez participé à la journée du 27 avril organisée par Henri Habrias et Pascal André.

J'ai arrêté officiellement (pas officieusement) ma recherche en 2008. Je n'ai travaillé que seul (je faisais des preuves presque tous les jours) ou pour Jean-Raymond lorsqu'il était bloqué dans une preuve ou un développement. Rassurez-vous ce n'est pas arrivé souvent.

Fin 2020 JRA m'a demandé de participer à son instanciation de contexte en Rodin dans le cadre du projet ANR EBRP. C'est pour faire des preuves plus facilement et de les réutiliser par instanciation: Constantes et théorèmes sur l'étagère.

J'ai appris la semaine dernière que ma page internet allait bientôt disparaitre (fin septembre).

http://perso.numericable.fr/cansell.dominique/

Vous trouverez à la fin de la page suivante

http://perso.numericable.fr/cansell.dominique/EBRP.html

deux vidéos qui expliquent l'instanciation de de JRA une abstraite et un raffinement en Rodin.

Bien cordialement Dominique Cansell