A two-phase approach for conditional floating-point verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - … 2021, Held as Part of the …, 2021 - Springer
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …
被引用次数：8 相关文章
[PDF] github.io

[PDF][PDF] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - malyzajko.github.io
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …

A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - Tools and Algorithms … - ncbi.nlm.nih.gov
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …

A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - … Conference on Tools …, 2021 - dl.acm.org
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …
[PDF] mpg.de

[PDF][PDF] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel… - … Conference on Tools …, 2021 - pure.mpg.de
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …

A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel… - Tools and Algorithms …, 2021 - europepmc.org
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …
[PDF] mpi-sws.org

[PDF][PDF] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - people.mpi-sws.org
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …
[PDF] github.io

[PDF][PDF] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - mariachris.github.io
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …
[PDF] mpg.de

[PDF][PDF] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova… - pure.mpg.de
Tools that automatically prove the absence or detect the presence of large floating-point
roundoff errors or the special values NaN and Infinity greatly help developers to reason …

[引用][C] A Two-Phase Approach for Conditional Floating-Point Verification

D Lohar, C Jeangoudoux, J Sobel, E Darulova…