Conférence sur les méthodes formelles à l’Institut Aéronautique et Spaciale

Le pôle Aérospace Valley (DAS Systèmes Embarqués), avec le soutien du thème ISFE du RTRA AE/SE, a mis en place un cycle de de conférences techniques sur les méthodes formelles de développement.
CLEARSY a participé à la première le 13 novembre 2012 à l’Institut Aéronautique et Spatiale (IAS) à Toulouse.
Au cours de cette journée a notamment été abordé le thème de la validation formelle de données constantes pour laquelle la méthode formelle B est appliquée (outil de vérification de la RATP, et ProB), voir la  page.