Wiki Agenda Contact Version française

see also the index (by topic, by tool, by reference, by year)


NSV-3 Benchmarks

http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/NSV3/

Benchmarks of numerical programs verification, composed at the Third International Workshop on Numerical Software Verification.

See also E. Goubault's slides and N. Revol's slides


see also the index (by topic, by tool, by reference, by year)