Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… CentraleSupélec, Inria) . Elle est spécialiste de la démonstration automatique et des assistants à la preuve. Ce … mettent au point un nouvel outil en parvenant à prendre en compte des égalités non orientables dans les démonstrateurs … outils. Se prenant au jeu, elle développe des preuves interactives de critères de terminaison dans l’assistant à la …Published on: