18 December 2024
Atelier B has just passed the 10,000 annual download mark for the first time.
The start of the 2024 academic year saw a doubling of downloads compared to 2023.
CLEARSY, leader in the application of the formal B method, develops and distributes Atelier B, the tool associated with this method. This tool is used to produce mathematically-proven safe software, and to prove safety reasoning at system level.
Atelier B Windows accounts for half of all downloads. Atelier B Linux is downloaded twice as much as Atelier B for MacOS.