Évelyne Contejean: Avoiding computer bugs
… science research focuses on designing efficient tools to thwart all potential bugs in the digital ecosystem at an early … (LSV - CNRS, ENS Paris-Saclay). "Formal methods are a set of techniques that analyse our digital world," says the … for around ten years. "The results can be more or less substantiated depending on the field of computer science. When we …
Published on: