Floating-Point Verification Using Theorem Proving-Reference-Cited by-同舟云学术

Floating-Point Verification Using Theorem Proving

Published:2006 Issue: Volume: Page:211-242
ISSN:0302-9743
Container-title:Formal Methods for Hardware Verification
language:
Short-container-title:

Author:

Harrison John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11757283_8

Reference60 articles.

1. Lecture Notes in Computer Science,2000

2. Aigner, M., Ziegler, G.M.: Proofs from The Book, 2nd edn. Springer, Heidelberg (2001)

3. Appel, K., Haken, W.: Every planar map is four colorable. Bulletin of the American Mathematical Society 82, 711–712 (1976)

4. Baker, A.: A Concise Introduction to the Theory of Numbers. Cambridge University Press, Cambridge (1985)

5. Boldo, S.: Preuves formelles en arithmétiques à virgule flottante. PhD thesis, ENS Lyon (2004), Available on the Web from: http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2004/PhD2004-05.pdf

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Formal Verification and Debugging of Arithmetic Divider Circuits;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

2. Finding Normal Binary Floating-Point Factors Efficiently;Journal of Automated Reasoning;2023-02-06

3. Hammering Floating-Point Arithmetic;Frontiers of Combining Systems;2023

4. Towards Verified Rounding Error Analysis for Stationary Iterative Methods;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11

5. Tight Error Analysis in Fixed-Point Arithmetic;Lecture Notes in Computer Science;2020