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 SummaryJan 8 2026 — Feb 7 2026
|
12 Month SummaryFeb 7 2025 — Feb 7 2026
|