Velo - Vérification pour l'Environnement et le LOgiciel velo:js2025 https://velo.wiki.ls2n.fr/ 2026-05-02T07:06:50+02:00 Velo - Vérification pour l'Environnement et le LOgiciel https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2025-07-18T16:40:41+02:00 velo:js2025:cansell https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025:cansell&rev=1752849641&do=diff 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. text/html 2025-07-25T11:08:22+02:00 velo:js2025:post https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025:post&rev=1753434502&do=diff Ce que je dois à Jean-Raymond Abrial July 24, 2025 source Quand ai-je découvert Jean-Raymond Abrial ? Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics. Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ?