J.C. Attiogbé Equipe-Projet  COLOSS

Tool and plateform development   COSTO Project Component Study Toolbox CBS Project Communicating B abstract Systems   NatIF Project Grizzly (A Synthesizor of Multiparadigm Development Environments) NaBLA Project Nantes B Libraries (Reusable trusted components with the B Method) Configuration Machine Project CM2SAL(not yet available) Petri Nets into B PN2B ATACORA Project (Method integration and Multifacet analysis) Other tools/frameworks   CorbaTrace ANTA NaONeT Project ISA xCLAP