70 citations · 91 across the 10 of their papers we have counts for
1 paper · 1 filter
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing progra…