Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot

Source URL: www.lix.polytechnique.fr

• Mathematics
• Affine geometry
• Numerical analysis
• Software
• Theoretical computer science
• Abstract interpretation
• Fluctuat
• Affine arithmetic
• Affine space
• Integral
• Rounding
• Matrix

Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea.

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Abstract interpretation
• Floating point
• Interval arithmetic
• Fluctuat
• Rounding
• Infinite loop
• Affine arithmetic
• Lookup table
• Recursion
• Division algorithm
• Fixed-point arithmetic

Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Floating point
• Fluctuat
• Abstract interpretation
• Rounding
• Interval arithmetic
• Loss of significance
• NaN
• Common logarithm
• Lookup table
• Affine arithmetic
• Signed zero

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

“fluctuat nec mergitur” CONTENTS “h - The Gravitational Voice” is an internal publication of the European Gravitational

Source URL: www.ego-gw.it

Carte Fluctuat - septième version

Source URL: fluctuat-cafe.paris

A numerical test of stress correlations in fluctuating hydrodynamics Michael Schindler Laboratoire PCT, UMR “Gulliver” CNRS-ESPCI 7083, 10 rue Vauquelin, 75231 Paris Cedex 05 Abstract The correlations of the fluctuat

Source URL: www.pct.espci.fr

• Solid mechanics
• Elasticity
• Materials science
• Viscosity
• Stress
• Navier–Stokes equations
• Deformation
• Stress–energy tensor
• Physics
• Mechanics
• Tensors

L’emploi à Paris: Fluctuat et mergitur Rémy Prud’homme1 Mars 2007 A en croire le discours officiel, l’économie de Paris se porte fort bien. Le site de la municipalité affirme la

Source URL: www.rprudhomme.com

1 Fluctuat nec Mergitur: Ï Ïñãáíéóìüò ÇíùìÝíùí Åèíþí óôç Äßíç ôùí Äéåèíþí Åîåëßîåùí óôïí 21ï Áéþíá

Source URL: www.ekome.gr