20 July 2020
CLEARSY has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution :
- the download of Atelier B 4.0 is free
- a new maintenance contract tailored to your specific needs
Among the main improvements of the tool:
- New supported operating systems: Mac OS X and Windows (in addition to Linux and Solaris)
- New graphical interface including:
- the integration of the parallelisor (tasks are distributed over networked computers)
- a redesigned proof interface
- o an editor with navigation and automatic completion
- Integration of the well-definedness proof obligations
- Addition of an automatic refiner tool (BART)