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 3 2025 — Feb 2 2025
|
12 Month SummaryFeb 2 2024 — Feb 2 2025
|