The project contains the Atelier B graphical interface source code. Atelier B is a CASE tool, based on the B language, allowing the development of mathematically proved, default free software.
There are no reported vulnerabilities
30 Day SummaryFeb 16 2026 — Mar 18 2026
|
12 Month SummaryMar 18 2025 — Mar 18 2026
|