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

@@ 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