WhyMP, a formally verified arbitrary-precision integer library-Reference-Cited by-同舟云学术

WhyMP, a formally verified arbitrary-precision integer library

Published:2020-07-20 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
language:
Short-container-title:

Author:

Melquiond Guillaume¹,Rieu-Helft Raphaël¹

Affiliation:

1. Université Paris-Saclay, Orsay, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373207.3404029

Reference17 articles.

1. On construction of a library of formally verified low-level arithmetic functions

2. François Bobot Jean-Christophe Filliâtre Claude Marché and Andrei Paskevich. 2011. Why3: Shepherd Your Herd of Provers. In Boogie 2011: First International Workshop on Intermediate Verification Languages. Wrocław Poland 53--64. https://hal.inria.fr/hal-00790310. François Bobot Jean-Christophe Filliâtre Claude Marché and Andrei Paskevich. 2011. Why3: Shepherd Your Herd of Provers. In Boogie 2011: First International Workshop on Intermediate Verification Languages. Wrocław Poland 53--64. https://hal.inria.fr/hal-00790310.

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

1. ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. WhyMP, a formally verified arbitrary-precision integer library;Journal of Symbolic Computation;2023-03

3. Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04