Contact Version française

The ProVal team was stopped at the end of August 2012, and reborn into a new team Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

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


index