Atelier B 4.5 is a Community Edition version, freely downloadable.
After Linux and Windows, the installer allows now the execution of Atelier B 4.5.1 on macOS 10.15, called “Catalina”. If you need more detailed information please refer to the 4.5 release notes.
Atelier B is the reference tool for: providing the mathematical proof of a safety reasoning for complex and interoperable systems, ensuring that a software integrates well into the programmed system, designing a correct and mathematically proven software.
Your system has flaws and you want to find them and control it? Your system has been in use for a long time and you do not know exactly how it works anymore? CLEARSY offers you solutions.