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 améliore la compatibilité avec l’interface de preuve xemacs EMACSPRI. La liste des corrections est disponible ici : historique des versions. La future version 3.7.2 est actuellement en développement et […]
Conférence : la Méthode B, de la Recherche à l’Enseignement
L’université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes. Pour connaître le programme de cette conférence, nous vous invitons à découvrir : le site de la conférence de Nantes le blog consacré à la conférence
Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres
La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d’une journée commune et de 2 journées propres à chaque communauté, soit : the 15th International ASM Workshop, the 17th International Conference of Z Users, the 8th International Conference on the B Method. Les Informations sont […]
L’Atelier B 3.7 est disponible
L’Atelier B est disponible. Il intègre de nouvelles fonctionnalités… Atelier B 3.7…
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 développements de Rodin et de ses plugins, ainsi que des exemples d’application. Pour en savoir plus, rendez-vous sur cette page : Programme et participation…
Plateforme RODIN
La plateforme RODIN est disponible au téléchargement. Télécharger RODIN…