Home |
News -
Presentation |
Tutorial |
Documents |
Download |
Installation |
Links |
Contact
|
Academic tool enabling the operational use of Mehod B for proven software development.
What is B4Free ?
B4free is a set of tools for the development of B models.
B4Free, is the single-user version of Atelier B with the capability of generating code C with ComenC translator. Components are limited to 4000 proof obligations.
B4Free is mainly aimed at the university academic environment but also anyone wishing to become initiated into B tools.
B4Free News
Atelier B 4.0 is available !
More informations about Atelier B 4.0 on our website : the download is free... (more informations...)
23/02/2009
ClearSy Web Sites and Formal Tools...
Newsletter
Pursuant to the Law of 06-01-78, you are entitled to access and correct your personal information.