The Coq mailing list

[Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>]

> Lately, I had the opportunity to attend a very interesting talk about
> Dafny [1], which highlighted the recent VSTTE competition (talk about
> the  results at [2]). From the results, it seem that 7 teams made a
> submission that was using Coq. Unfortunately, I cannot find any using
> a search engine.

The solutions sent by the participants are not public. However, we 
invited the participants to share their solutions immediately after the 
competition, on the competition Google group:

http://groups.google.com/group/vstte-2012-verification-competition?pli=1

Hope this helps,
--
Jean-Christophe