L'Atelier B 4.1.0 est disponible au téléchargement, pour une utilisation par tous sans restriction. Cette version corrige 385 anomalies et propose 56...
Divers
Atelier B 4.1 Beta 1
La diffusion de l'Atelier B 4.1 Beta 1 débute le 02 Novembre 2012, pour une durée d'un mois. Elle intègre les améliorations de la version 4.0.2 et apporte de...
Workshop on B Dissemination
CLEARSY a le plaisir d'annoncer sa participation au Workshop on B Dissemination, un événement satellite du colloque SBMF 2010 qui se déroulera du 8 au 9...
B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010
Satellite event of Grace International Symposium on Advanced Software Engineering 2010 Mars 15th-17th 2010, Tokyo, Japan Presentation L'objectif de ce...
Atelier B 3.7.1
La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et...
Rodin Industry Day
CLEARSY a organisé la journée Rodin Industry Day 2007. La journée a eu lieu à Paris, le 10 septembre 2007 et a consisté à présenter l'état d'avancement des...