70 citations · 92 across the 5 of their papers we have counts for
1 paper · 1 filter
Sylvie Boldo, Francois Clement, Jean-Christophe Filliâtre +3
We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors…