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.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Atelier B Graphical User Interface

Atelier B Graphical User Interface Web Site

Other Useful Business Software
Full-stack observability with actually useful AI | Grafana Cloud Icon
Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Atelier B Graphical User Interface!

Additional Project Details

Operating Systems

BSD, Linux, Windows

User Interface

Project is a user interface (UI) system

Programming Language

C++

Related Categories

C++ User Interface (UI) Software

Registered

2008-08-13