Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms (Q1722642): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GKLEE
@@ Property / describes a project that uses: GKLEE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pochoir
@@ Property / describes a project that uses: Pochoir / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3022528433
@@ Property / OpenAlex ID: W3022528433 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Proof of a Wave Equation Resolution Scheme: The Method Error
+Normal rank
@@ Property / cites work @@
+Wave equation numerical resolution: a comprehensive mechanized proof of a C program
+Normal rank
@@ Property / cites work @@
+Embedding of Systems of Affine Recurrence Equations in Coq
+Normal rank
@@ Property / cites work @@
+Q5425308
@@ Property / cites work: Q5425308 / rank @@
+Normal rank
@@ Property / cites work @@
+The cache complexity of multithreaded cache oblivious algorithms
+Normal rank
@@ Property / cites work @@
+Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
+Normal rank
@@ Property / cites work @@
+Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q5755052
@@ Property / cites work: Q5755052 / rank @@
+Normal rank