19 septembre 2017
CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles.
Cette conférence aura lieu du 27 Novembre au 1er Décembre 2017, à Recife (Brésil).
À cette occasion, CLEARSY présentera un article scientifique intitulé « Applying a Formal Method in Industry: a 25-Year Trajectory ». Par ailleurs, une session de formation sera organisée dans le cadre de ETMF 2017 (Escola de Informática Teórica e Métodos Formais) afin d’initier des étudiants à la modélisation avec la méthode B, à l’utilisation de l’éditeur de modèles abstraits ainsi qu’au développement d’applications critiques avec la plateforme LCHIP.