Funder
Defense Advanced Research Projects Agency
Reference43 articles.
1. Verification of a Cryptographic Primitive
2. ISBN 110704801X 9781107048010. ISBN 110704801X 9781107048010.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0;Lecture Notes in Computer Science;2024-09-13
2. Numerical Fuzz: A Type System for Rounding Error Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
3. VCFloat2: Floating-Point Error Analysis in Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
4. LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs;2023 IEEE 30th Symposium on Computer Arithmetic (ARITH);2023-09-04
5. Trustworthy Runtime Verification via Bisimulation (Experience Report);Proceedings of the ACM on Programming Languages;2023-08-30