Model Checking Statistique pour les Systèmes Larges