L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]

Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Après Linux et Windows, […]

La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux […]

L’environnement de développement logiciel de la CLEARSY Safety Platform est disponible au téléchargement pour les possesseurs d’une carte SK0. Il […]

Le projet collaboratif LCHIP piloté par CLEARSY vise à produire une plateforme de calcul, capable d’automatiser le développement à bas […]

Le permier starter kit (SK0) de la CLEARSY Safety Platform est disponible à la vente sur le site internet clearsy. […]

Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA […]