The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is: the 15th International ASM Workshop, the 17th International Conference of Z Users, the 8th International Conference on the B Method Information is […]
On the occasion of its 9th conference, the ICFEM (International Conference on Formal Engineering Methods), which will take place from November 14 to 15, 2007 in Florida, will discuss the B and the Rodin Platform issue.
ClearSy participated in the B2007 Conference in Besancon, held from January 17 to 19. In the context of our Research and Development that we are conducting with STMicroelectronics, we presented our project. We also presented our formal model graphic animation tool: Brama: Programme: Conference pictures Papers presented at the B 2007 conference Presentation: The B […]
Clearsy participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys. To discover Composys…