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
Find Hidden Risks in Windows Task Scheduler Icon
Find Hidden Risks in Windows Task Scheduler

Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
Download Free Tool
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