Vérification de Logiciels Master 2, 2008