Atelier B 4.0 is available !

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)

Download Atelier B.