Posts

ABZ 2026, Program

Image
  Dates Plenary You're viewing the program in a time zone which is different from your device's time zone change time zone Mon 18 May Displayed time zone: Osaka, Sapporo, Tokyo change 18:15 - 19:15 ABZ Gedenkschrift for Jean-Raymond Abrial ABZ at 2F Conf Room 2 Chair(s): Yamine Ait Ameur IRIT/INPT-ENSEEIHT 18:15 60m Talk Gedenkschrift for Jean-Raymond AbrialABZ Tue 19 May Displayed time zone: Osaka, Sapporo, Tokyo change 08:30 - 09:00 Registration Services at Registration Area / Entrance 08:30 30m Registration Registration 09:00 - 09:10 ABZ Opening ABZ at 2F Conf Room 4 09:00 10m Talk ABZ Opening 09:10 - 10:10 ABZ Invited Talk 1: Toshiaki Aoki ABZ at 2F Conf Room 4 09:10 60m Keynote Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving Toshiaki Aoki JAIST 10:10 - 10:35 ABZ Session 1: Concurrent and Distributed Systems ABZ at 2F Conf Room 4 Chair(s): Dominique Mery Université de Lorraine, CNRS, INRIA / LORIA ...
Post a Comment
Read more

Spécification formelle et génération automatique de programmes : le système Descartes,Jean-Luc Dormoy, Bruno Ginoux, Jean-YvesLucas, Laurent Pierre, Claudia Jimenez-Dominguez

 Spécification formelle et génération automatique de programmes : le système Descartes Jean-Luc Dormoy, Bruno Ginoux, Jean-YvesLucas, Laurent Pierre1, Claudia Jimenez-Dominguez2 Electricité de France Direction des Etudes et Recherches 1, avenue du Général de Gaulle 92141 CLAMART Cedex Rene.Descartes@der.edfgdf.fr 1 DER-EDF, IMA/TIEM/GLIP, 1 avenue du Général de Gaulle 92141 CLAMART CEDEX 2 Société INFORAMA  https://dormoy.org/JLuc/Papers/GL97.pdf     I just searched for the publications of EDF's DER-IMA (Department of Engineering and Innovation - Applied Mathematics). And I found Descartes and Jean-Luc Dormoy. I had gone to Clamart to meet him, and he was at the Nantes B conference. I'm updating the blog.     Why wasn't this software more widely known and disseminated? Today it's difficult to find online. It's like the DER-IMA publications on Z by J.-R. Abrial. And the books by Meyer-Baudoin and Delobel-Adiba, in which Z is used, are no longer in p...
Post a Comment
Read more

Celebrating Tony Hoare’s mark on computer science, B. Meyer

  https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/ 16 March 2026  
Post a Comment
Read more

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer

 submitted to IEEE Annals of the History of Computing     https://arxiv.org/abs/2604.07353
Post a Comment
Read more

Les langages de spécification, M. Demuynck*, B. Meyer,** 1979, EDF Bulletin des Etudes et Recherches, Série C, Mathématiques, Informatique, n°1, 1979

Image
  https://se.inf.ethz.ch/~meyer/publications/specification/langages_specif.pdf
Post a Comment
Read more

Specification Language, J.-R. Abrial, B. A. Schuman, B. Meyer

Image
  https://se.inf.ethz.ch/~meyer/publications/languages/Z_original.pdf  
Post a Comment
Read more

Les projets de recherche sur B / Research Projects on B

  https://velo.wiki.ls2n.fr/lib/exe/fetch.php?media=velo:7-habrias-projets_de_recherche_b.pdf En doutant, nous nous mettons en recherche, et en cherchant, nous trouvons la vérité. Pierre Abélard, le philosophe du Pallet   Sommaire   Pojet MIST, Measurable Improvement with Specification Techniques   "Measurable Improvement in Specification Techniques (MIST) is ESSI ap- plication experiment 10228. MIST is a 16 month project involving three com- panies :GEC-Marconi Avionics, who are the prime user ; Praxis, who are the main subcontractor, acting as an independent reviewer ; and B-Core (UK),who provide the tools used and consultancy. The main aims of MIST are to develop procedures for using formal methods with current methods on safety critical avionics software and to collect metrics to enable reasonable estimates for the use of these procedures" Jonathan Draper, Mission Avionics Division, GEC-Marconi Avionics   Projet de la Commission Européenne  ...
Post a Comment
Read more