Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… Formal Methods Laboratory (LMF - Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . She specialises … the Specification and Verification Laboratory (LSV - CNRS, ENS Paris-Saclay). "Formal methods are a set of techniques … of a ‘good’ rewriting system are confluence, which ensures that every way of computing gives the same result, …Published on: