ClearSy

ClearSy est une société qui développe des systèmes et logiciels sécuritaires dans le secteur ferroviaire, automobile, aéronautique, spatial et militaire... Elle utilise pour cela les méthodes formelles, (dont la méthode B), ainsi que la Sûreté de Fonctionnement pour fournir un système et/ ou logiciel prouvé et sans défaut.

ClearSy développe également des outils orientés "méthode formelle", comme l'Atelier B, un atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.

Le site « Clearsy.com | clearsy » a reçu une note moyenne de 0.0 sur 5 pour 0 avis, et 0 commentaire(s) depuis son référencement le 10-09-2009. Malgré tous nos efforts, nous ne pouvons garantir la qualité du site (n° 59) présenté ci-dessus ainsi que l'exactitude du descriptif renseigné. Merci pour votre compréhension.