- 4
- 1
Guillaume Melquiond
5
Documents
Publications
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
WhyMP, a Formally Verified Arbitrary-Precision Integer LibraryJournal of Symbolic Computation, 2023, 115, pp.74-95. ⟨10.1016/j.jsc.2022.07.007⟩
Article dans une revue
hal-03233220v1
|
|
|
WhyMP, a Formally Verified Arbitrary-Precision Integer LibraryISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.352-359, ⟨10.1145/3373207.3404029⟩
Communication dans un congrès
hal-02566654v2
|
|
|
Formal Verification of a State-of-the-Art Integer Square RootARITH-26 2019 - 26th IEEE 26th Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.183-186, ⟨10.1109/ARITH.2019.00041⟩
Communication dans un congrès
hal-02092970v1
|
|
|
A Why3 Framework for Reflection Proofs and its Application to GMP's Algorithms9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom. pp.178-193, ⟨10.1007/978-3-319-94205-6_13⟩
Communication dans un congrès
hal-01699754v2
|
|
|
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. pp.84-101, ⟨10.1007/978-3-319-72308-2_6⟩
Communication dans un congrès
hal-01519732v2
|