Atelier B is a tool enabling the operational use of B method. In a coherent environment, it provides many functions for managing projects in B language.
Functions
These functions can be divided into four categories:
- proof aid, to demonstrate proof obligations using suitable proof tools
- Development aid: automatic management of dependency between B components,
- User comfort tools: graphical representation of projects, display of project status and statistics, project archiving.
Use of Atelier B
Atelier B is either used via a Man Machine Interface in QT format or using the commands directly (command mode). Atelier B is multi-user. Tasks that can be automated during project development are the following:
- Syntax verification of components
- Automatic proof obligation generation
- Automatic translation of B installations to C or Ada language
Currently, Atelier B is available in Windows, Linux, Mac OS and Solaris operating systems.
ATELIER B 4.7 and website
Download the main 4.7’s features.
visit the web site: www.atelierb.eu
Thematics
Link to this tools
Link to this tools
Offers
Link to this tools
Link to this tools
Tools
Linked to this tools
Linked to this tools
Components
Linked to this tools
Linked to this tools
Posts
Linked to this tools
Linked to this tools
- • CLEARSY and UFRN make cooperation agreement to promote international internships.
- • The formal development tool ATELIER B passes 10,000 downloads!
- • Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method
- • Exciting News: Atelier B Community Edition 24.04 Available!
- • The White House highlights the use of formal methods in a new report.
- • 9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023
- • L’Atelier B Professional Edition 23.02 est disponible
- • A certified version of ATELIER B is planned for 2024
- • Formal activities through the V cycle
- • Two decades of industrial exploitation of the B formal method.
- • The new formal tool Atelier B 4.7 is available.
- • Assigning safe processing to meanings
- • CLEARSY IS PARTICIPATING TO THE INTERNATIONAL CONFERENCE ABZ 2021
- • New version of Atelier B for Mac-OS
- • CLEARSY Saftey Platform 4.5.4 tool available
- • CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).
- • 19th Brazilian Symposium of Formal Methods
- • ABZ 2014 – From june 2d to 6th in Toulouse
- • Atelier B 4.0 is available!
- • SIFER Fair 2009 at Lille
- • The new version of Atelier B is in beta test
- • Free Version of Atelier B
- • Atelier B 3.7.1
- • Atelier B 3.7
- • CLEARSY at the SIFER 2007 Fair
- • Composys, version 1.6
- • RIMEL Project
