L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans … Génie logiciel, Outils, R&D

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

Nouvelle version de l’Atelier B pour Mac-OS Génie logiciel

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, […]

CLEARSY Safety Platform handbook
CLEARSY Safety Platform Handbook disponible Génie logiciel

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

Atelier CLEARSY Safety Platform
Atelier CLEARSY Safety Platform 4.5.4 disponible Génie logiciel

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 […]

En tournée dans le monde entier, CLEARSY rencontre les futurs utilisateurs de la CLEARSY Safety Platform Ferroviaire, Génie logiciel

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

CLEARSY Safety Platform SK0 est en vente
CLEARSY Safety platform SK0 est en vente Génie logiciel

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

LCHIP (Low Cost High Integrity Platform)
Projet LCHIP et architecture double processeur: premier starter kit Génie logiciel

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

L’Atelier B 4.0 est disponible ! Génie logiciel

Nous avons le plaisir de vous annoncer la sortie de l’Atelier B 4.0. Celle-ci s’accompagne d’un tout nouveau mode de […]