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 et la sûreté logicielle » (https://www.sciencesmaths-paris.fr/f/actualites-fr/horizon-maths-2024), qui se tient le 27 mars 2024, de 9h à 18h, à l’ Institut Henri Poincaré, situé au cœur de Paris. Cet événement d’une journée comprend quatre sessions thématiques enrichissantes et deux tables rondes dynamiques, conçues pour offrir un panorama représentatif des tendances actuelles et des meilleures pratiques, à la croisée des chemins entre le monde académique et l’industrie.
CLEARSY met en perspective les enjeux sociétaux, les besoins réglementaires et les défis techniques afin d’expliquer comment et pourquoi l’usage raisonné des méthodes formelles permet de mieux maitriser la sûreté des systèmes critiques, essentiels à notre société.
L’exposé fait référence à la modélisation formelle et à la preuve de logiciels et de leurs paramètres, ainsi qu’à l’ingénierie du raisonnement de sûreté.