Publié le 18/11/2008 |

CLEARSY annonce sa participation à la Conférence ABZ 2010 qui se tiendra du 23 au 25 février 2010, à Orford au Canada. Cet événement a pour objectif de réunir les communautés ASM, B, et Z. Thierry Lecomte et Lilian Burdy feront notamment partie du comité de programme d’ABZ 2010, et présenteront un tutoriel dédié à l’outil BART, un outil de raffinement automatique de machines B.

Au cours de ce tutoriel, CLEARSY compte :

  • présenter l’outil BART et son intégration dans l’Atelier B,
  • expliquer à quel moment il peut être utilisé et comment l’utiliser sur des exemples simples,
  • aborder des notions concernant le raffinement interactif

Liens complémentaires :