Accéder directement au contenu

Sylvie Boldo

3
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

881849
Image document

Proofs of numerical programs when the compiler optimizes

 Sylvie Boldo , Thi Minh Tuyen Nguyen
Innovations in Systems and Software Engineering, 2011, 7, pp.151-160
Article dans une revue hal-00777639v1
Image document

Hardware-independent proofs of numerical programs

 Sylvie Boldo , Thi Minh Tuyen Nguyen
Second NASA Formal Methods Symposium (NFM 2010), NASA, Apr 2010, Washington D.C., United States. pp.14-23
Communication dans un congrès inria-00534410v1
Image document

Formal proofs of numerical programs

 Nguyen Thi Minh Tuyen , Sylvie Boldo , Claude Marché
Forum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence inria-00536135v1