Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . Elle est … du Laboratoire spécification et vérification (LSV - CNRS, ENS Paris-Saclay). « Les méthodes formelles sont un ensemble de techniques qui analysent notre monde numérique, …Article publié le: jeu 10/11/2022 - 15:47