Concepedia

Sylvie Boldo

SB

27

Publications

888

Citations

17

H-Index

2004

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut national de recherche en sciences et technologies du numérique

Université Paris-Sud

Laboratoire de Recherche en Informatique

Centre Inria de Saclay

Sylvie Boldo is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisVerificationSoftware AnalysisComputer EngineeringComputational ComplexityAutomated Reasoning

Publications per year

2004–2023

27

Publications

27

Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq

Sylvie Boldo, Guillaume Melquiond · 2011 · 134 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Coquelicot: A User-Friendly Library of Real Analysis for Coq

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond · Mathematics in Computer Science · 2014 · 89 citations · Full text

Engineering, Program Analysis, Automated Reasoning +7

Formal Verification of Floating-Point Programs

Sylvie Boldo, Jean-Christophe Filliâtre · Proceedings/Proceedings - Symposium on Computer Arithmetic · 2007 · 79 citations

Coq Proof Assistant, Program Checking, Engineering +14

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al. · Journal of Automated Reasoning · 2012 · 67 citations · Full text

Numerical Analysis, Numerical Computation, Engineering +9

Formalization of real analysis: a survey of proof assistants and libraries

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond · Mathematical Structures in Computer Science · 2015 · 48 citations · Full text

Real Numbers, Engineering, Verification +16

Rows per page

1–5 of 27