Skip to Main content Skip to Navigation
New interface


...
tel-00789543v1  Theses
Paolo Herms. Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
...
tel-01089643v1  Habilitation à diriger des recherches
Sylvie Boldo. Deductive Formal Verification: How To Make Your Floating-Point Programs Behave
Computer Arithmetic. Université Paris-Sud, 2014
...
tel-01089490v1  Habilitation à diriger des recherches
Évelyne Contejean. Facettes de la preuve
Logique en informatique [cs.LO]. Université Paris-Sud, 2014
...
tel-00874679v1  Theses
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112141⟩
...
tel-02194683v1  Habilitation à diriger des recherches
Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around
Computer Arithmetic. Université Paris Sud, 2019