Nous sommes ravis de partager la vidéo de l’intervention de l’un de nos experts, lors de l’édition 2024 de la conférence Horizon Maths.
Laurent Voisin a présenté une session sur l’utilisation des méthodes formelles en pratique, pour améliorer la maîtrise des risques dans les systèmes critiques et les logiciels. À travers des exemples tirés de l’industrie, il a démontré comment ces outils mathématiques peuvent améliorer significativement la sûreté et la sécurité dès la phase de conception.
Découvrez la vidéo complète ici.
Forts d’une grande expérience dans le domaine de la mise en œuvre industrielle des méthodes formelles, nous sommes fiers d’avoir pu contribuer activement à ces échanges. Nous remercions chaleureusement la Fondation Sciences Mathématiques de Paris de nous avoir conviés à cet événement.