Certification of numerical analysis programs
This project aims at developping and applying methods which allow to formally prove the soundness of programs from numerical analysis. We are more precisely working on problems related to the verification of floating point algorithms.
Research activities
Program proof Floating-point arithmetic
Participants
FILLIÂTRE Jean-ChristopheBOLDO Sylvie
