WhyMP, a formally verified arbitrary-precision integer library (Q2673999): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HACL*
@@ Property / describes a project that uses: HACL* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WhyML
@@ Property / describes a project that uses: WhyML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+gmp
@@ Property / describes a project that uses: gmp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2022.07.007
+Normal rank
@@ Property / OpenAlex ID @@
+W4289779274
@@ Property / OpenAlex ID: W4289779274 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of GMP square root
@@ Property / cites work: A proof of GMP square root / rank @@
+Normal rank
@@ Property / cites work @@
+One Logic to Use Them All
@@ Property / cites work: One Logic to Use Them All / rank @@
+Normal rank
@@ Property / cites work @@
+Why3 — Where Programs Meet Provers
@@ Property / cites work: Why3 — Where Programs Meet Provers / rank @@
+Normal rank
@@ Property / cites work @@
+The spirit of ghost code
@@ Property / cites work: The spirit of ghost code / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+A Why3 framework for reflection proofs and its application to GMP's algorithms
+Normal rank
@@ Property / cites work @@
+WhyMP, a formally verified arbitrary-precision integer library
+Normal rank
@@ Property / cites work @@
+Improved Division by Invariant Integers
@@ Property / cites work: Improved Division by Invariant Integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5130751
@@ Property / cites work: Q5130751 / rank @@
+Normal rank
@@ Property / cites work @@
+How to get an efficient yet verified arbitrary-precision integer library
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Verifying branch-free assembly code in Why3
@@ Property / cites work: Verifying branch-free assembly code in Why3 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2673999