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 SummaryJul 13 2022 — Aug 12 2022
|
12 Month SummaryAug 12 2021 — Aug 12 2022
|