Academic tool enabling the operational use of formal Method B for proven software development. What is B4Free ? B4free was a set of tools for the development of B formal models, based on a limited version version of Atelier B and mainly aimed at academic users. ClearSy ensured its development until 2009 Since 2009, Atelier B is available in fully functional Community Edition. You are kindly invite