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.

The 1st Verified Software Competition

http://www.macs.hw.ac.uk/vstte10/Competition.html

The 1st Verified Software Competition, organized by Peter Muller and N. Shankar and held during VSTTE 10. See also vscomp.org.


index