CLEARSY participe à la conférence internationale ABZ 2021

CLEARSY participe  à la “internationale conference on rigorous state based methods” qui aura lieu du 07 au 11 Juin 2011.
La conférence étant virtuelle, l’accès se fait gratuitement sans inscription. Le programme complet est accessible ici.

3 événements à noter par ordre chronologique:

  • tutorial “Using B to program the CLEARSY Safety Platform” le 8 Juin de 15h30 à 17h30. L’inscription se fait directement à l’adresse https://my.demio.com/ref/XCAMy6daO1HAhmUl
  • exposé “Programming the CLEARSY Safety Platform with B” le 9 juin de 15h00 à 15h30. Le lien d’accès via zoom sera disponible à partir du 25/05/2021 sur cette page.
  • exposé “Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B” le 10 juin de 15h00 à 15h15. Le lien d’accès via zoom sera disponible à partir du 25/05/2021 sur cette page.