The following pages link to (Q4738356):
Displaying 11 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- Termination of floating-point computations (Q850498) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- FEVS: a functional equivalence verification suite for high-performance scientific computing (Q1949768) (← links)
- Abstract Fixpoint Computations with Numerical Acceleration Methods (Q2814099) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
