Home |
News |
Company |
Activities |
Sectors |
Sale Assistance |
Our Projects |
Conferences |
Our Products and Training |
Our Values |
Employment |
Newsletter |
Contacts |
Site Map
|
B Method and Atelier B
The B Method, invented by Jean Raymond ABRIAL, is a formal method with proof and refinements, used for:
- Creation of correct software by construction
- System modelling in the system’s environment
This method is used industrially in the railway sector. It is broadly distributed and recognized in the academic world.
Clearsy develops the method in collaboration with industry, and research centers.