Pages that link to "Item:Q3075485"

The following pages link to Static Analysis of Finite Precision Computations (Q3075485):

Displaying 17 items.

• A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
• Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
• Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
• A two-phase approach for conditional floating-point verification (Q2233493) (← links)
• Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
• Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
• Transformation of a PID controller for numerical accuracy (Q2520677) (← links)
• A certifying square root and division elimination (Q2520687) (← links)
• Stabilizing Floating-Point Programs Using Provenance Analysis (Q2961567) (← links)
• An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
• Checking Compatibility of Bit Sizes in Floating Point Comparison Operations (Q5170177) (← links)
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
• Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)
• A zonotopic framework for functional abstractions (Q5962973) (← links)
• Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
• Formally verified roundoff errors using SMT-based certificates and subdivisions (Q6535941) (← links)
• Analysis of software patches using numerical abstract interpretation (Q6536289) (← links)