CLEARSY est fière de participer à Horizon Maths 2024. C'est une initiative de la Fondation Sciences Mathématiques de Paris centrée sur "la preuve mathématique...
Conférences
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »
Un tutoriel virtuel en accès libre sur la programmation de la CLEARSY Safety Platform est organisé pendant la conférence internationale ABZ 2021, le 8 juin...
Conférence Formal Methods – FM 2018 – Oxford
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l'usage industriel des méthodes...
Projet LCHIP et architecture double processeur: premier starter kit
Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA et la Métropole...
Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie
Lors de cet après-midi industriel dont la thématique est "Semantics of proofs and certified mathematics", CLEARSY présentera l'utilisation du B...