Formal analysis of the compact position reporting algorithm (Q1996426): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-019-00504-0
@@ Property / DOI: 10.1007/s00165-019-00504-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ACSL
@@ Property / describes a project that uses: ACSL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRECiSA
@@ Property / describes a project that uses: PRECiSA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gappa
@@ Property / describes a project that uses: Gappa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Frama-C
@@ Property / describes a project that uses: Frama-C / 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.1007/s00165-019-00504-0
+Normal rank
@@ Property / OpenAlex ID @@
+W3005752483
@@ Property / OpenAlex ID: W3005752483 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Wave equation numerical resolution: a comprehensive mechanized proof of a C program
+Normal rank
@@ Property / cites work @@
+Formal verification of numerical programs: from C annotated programs to mechanical proofs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+CC(X): Semantic Combination of Congruence Closure with Solvable Theories
+Normal rank
@@ Property / cites work @@
+Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
+Normal rank
@@ Property / cites work @@
+A formal analysis of the compact position reporting algorithm
+Normal rank
@@ Property / cites work @@
+Static Analysis of Numerical Algorithms
@@ Property / cites work: Static Analysis of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
+Normal rank
@@ Property / cites work @@
+A formally verified floating-point implementation of the compact position reporting algorithm
+Normal rank
@@ Property / DOI @@
+.1007/S00165-019-00504-0
@@ Property / DOI: 10.1007/S00165-019-00504-0 / rank @@
+Normal rank