Dans le cadre d’un projet financé par l’Agence National de recherches (ANR), CLEARSY collabore avec le LORIA (Nancy), le CRIL […]

Le manuel d’utilisation de la méthode B, le B WORKBOOK, est désormais disponible sur le GitHub de CLEARSY : (https://github.com/CLEARSY/BWORKBOOK). […]

Nous avons le plaisir de présenter la feuille de route 2025 de l’Atelier B, le premier IDE pour développer des […]

L’activité de preuve formelle système consiste à exprimer mathématiquement les propriétés globales par lesquelles la sécurité du système est garantie […]

L’Atelier B a été conçu par CLEARSY pour produire des logiciels sûrs, zéro défaut et conformes à leurs spécifications. Sa […]

Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre […]

L’Atelier B vient de franchir pour la première fois la barre des 10 000 téléchargements annuels. La rentrée universitaire 2024 a […]

CLEARSY a participé à FM2024, l’une des plus importantes conférences sur les méthodes formelles au monde. Plus de 300 chercheurs […]