CLEARSY R&D Actions on Formal Verification: 10 years and counting… Computer science, R&D, Tools

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

New version of Atelier B for Mac-OS Computer science

Atelier B 4.5 is a Community Edition version, freely downloadable. After Linux and Windows, the installer allows now the execution […]

CLEARSY Safety Platform handbook
CLEARSY Safety Platform Handbook available Computer science

The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]

Atelier CLEARSY Safety Platform
CLEARSY Saftey Platform 4.5.4 tool available Computer science

The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]

CLEARSY Safety Platform SK0 est en vente
CLEARSY Safety platform SK0 is on sale Component, Computer science

The first starter kit (SK0) of the CLEARSY safety Platform is on sale at www.clearsy.com. With 5 digital inputs/outputs, the […]

Atelier B 4.0 is available! Computer science

CLEARSY has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode […]

The new version of Atelier B is in beta test Computer science

More informations about Atelier B 4.0 on the Atelier B website…

Free Version of Atelier B Computer science

Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The […]