Actuellement, les activités de validation et de vérification (V&V) dans l'industrie aérospatiale reposent principalement sur des outils de simulations de type Monte Carlo. Ces outils permettent d'estimer la probabilité de phénomènes suffisamment fréquents (typiquement la satisfaction d'exigences dan