Méthodes formelles et
Vérification probabiliste