Atelier B Graphical User Interface download

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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

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

Similar Business Software

Kevel

Kevel (previously Adzerk) gives you the APIs needed to quickly build your own fully-customized ad server for sponsored listings, internal promotions, native ads, and more – so you can take back the Internet and drive more online revenue. Our award-winning platform handles over three billion API...

See Software
Miro

Keep your team's minds in sync with Miro (formerly RealtimeBoard and AWW app). A virtual whiteboard and remote collaboration tool, Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any...

See Software
Anima

Anima is a continuous design-to-code platform that allows designers to create and build fully-responsive prototypes that look and act like the end product while using their own design tool (Figma, Adobe XD & Sketch). Anima eases the handoff process to developers by automatically converting...

See Software
Userback

Userback is the leading user feedback and bug tracking solution for software teams looking to understand users and build better products. With Userback, you can collect metadata-enriched visual feedback and gain deep insights into your user's sentiment and behavior with in-app surveys like...

See Software
Ruttl

ruttl is the fastest way for product, marketing, sales and support teams to collect visual feedback, collaborate, and manage ideas through tools like website feedback, bug tracking and mobile app feedback. Users can leave comments directly on live websites/apps and make real time edits so they...

See Software
Slickplan

Slickplan helps teams & agencies bring order to complex website projects—from first ideas to production-ready deliverables. Instead of juggling docs, spreadsheets and disconnected tools, it provides one workspace to structure site architecture, map user flows, plan content and review designs...

See Software